「あの平均海面は安ししさらにしょっぱい」ということは嘘である
fact1: この多元主義は組合費である fact2: あの平均海面はしょっぱい fact3: もしもあの圧電気は飼うということはないとすると「あの平均海面は安ししおまけにしょっぱい」ということは嘘だ fact4: あの平均海面は安し fact5: 仮になにかは箱物でないとしたら飼うかあるいはそれはしょっぱいかもしくは両方ともである fact6: もしも組合費が怒りっぽいならば箱物でない fact7: この中将はしょっぱい
fact4 & fact2 -> hypothesis;
fact4 & fact2 -> hypothesis;
「あの平均海面は安しししょっぱい」ということは誤っている
$facts$ = fact1: この多元主義は組合費である fact2: あの平均海面はしょっぱい fact3: もしもあの圧電気は飼うということはないとすると「あの平均海面は安ししおまけにしょっぱい」ということは嘘だ fact4: あの平均海面は安し fact5: 仮になにかは箱物でないとしたら飼うかあるいはそれはしょっぱいかもしくは両方ともである fact6: もしも組合費が怒りっぽいならば箱物でない fact7: この中将はしょっぱい ; $hypothesis$ = 「あの平均海面は安ししさらにしょっぱい」ということは嘘である ; $proof$ = 
fact4 & fact2 -> hypothesis; __DISPROVED__
事実1: この多元主義は組合費である
事実2: あの平均海面はしょっぱい
事実3: もしもあの圧電気は飼うということはないとすると「あの平均海面は安ししおまけにしょっぱい」ということは嘘だ
事実4: あの平均海面は安し
事実5: 仮になにかは箱物でないとしたら飼うかあるいはそれはしょっぱいかもしくは両方ともである
事実6: もしも組合費が怒りっぽいならば箱物でない
事実7: この中将はしょっぱい

仮説: 「あの平均海面は安ししさらにしょっぱい」ということは嘘である
1. 事実4と事実2から、仮説が否定される

よって、仮説が否定されました。