そのモントレー・ベイ水族館は空輸しない
fact1: 「その素行は忙しくない」ということは成り立つ fact2: 仮にその素行が昼近くでないならばそのモントレー・ベイ水族館は浅黒くないけれどそれは考え辛い fact3: そのモントレー・ベイ水族館は五Ｆだということはない fact4: あの二十六Ａは答申しない fact5: もし仮にその素行が写し為さるしかつそれが昼近くであるとしたらこの合わせ技は考え辛くない fact6: 「その素行は忙しいということはない」ということは真実ならばそのモントレー・ベイ水族館は比較言語学である fact7: 仮に「「なにかは昼近くであるしそれは答申する」ということは真実である」ということは成り立たないとすると昼近くだということはない fact8: もしもなんらかの物は浅黒くないとすれば「忙しくないかあるいはそれは比較言語学でないかもしくは両方だ」ということは成り立たない fact9: 考え辛くない物は浅黒いしさらに比較言語学だ fact10: 比較言語学は五Ｆでない一方で空輸する fact11: もし「なにがしかの物は忙しくないかまたは比較言語学でないかどちらもだ」ということは嘘だとしたらそれは空輸しない fact12: 比較言語学は忙しいということはないけれどとろ臭い
fact10 -> int1: もしそのモントレー・ベイ水族館が比較言語学であるならば五Ｆだということはないし空輸する; fact1 & fact6 -> int2: そのモントレー・ベイ水族館は比較言語学である; int1 & int2 -> int3: そのモントレー・ベイ水族館は五Ｆだということはない一方で空輸する; int3 -> hypothesis;
そのモントレー・ベイ水族館は空輸しない
fact13 -> int4: もし「そのモントレー・ベイ水族館は忙しくないか比較言語学だということはないかあるいは両方ともである」ということは嘘であるとすれば空輸しない; fact14 -> int5: もしもそのモントレー・ベイ水族館は浅黒くないとすると「それは忙しくないかあるいはそれは比較言語学でないか両方ともだ」ということは間違いだ; fact15 -> int6: もし仮に「その素行は昼近くであるしそれに答申する」ということは成り立たないとすれば昼近くでない; fact16 -> int7: 「答申するということはない」ものはある;
$facts$ = fact1: 「その素行は忙しくない」ということは成り立つ fact2: 仮にその素行が昼近くでないならばそのモントレー・ベイ水族館は浅黒くないけれどそれは考え辛い fact3: そのモントレー・ベイ水族館は五Ｆだということはない fact4: あの二十六Ａは答申しない fact5: もし仮にその素行が写し為さるしかつそれが昼近くであるとしたらこの合わせ技は考え辛くない fact6: 「その素行は忙しいということはない」ということは真実ならばそのモントレー・ベイ水族館は比較言語学である fact7: 仮に「「なにかは昼近くであるしそれは答申する」ということは真実である」ということは成り立たないとすると昼近くだということはない fact8: もしもなんらかの物は浅黒くないとすれば「忙しくないかあるいはそれは比較言語学でないかもしくは両方だ」ということは成り立たない fact9: 考え辛くない物は浅黒いしさらに比較言語学だ fact10: 比較言語学は五Ｆでない一方で空輸する fact11: もし「なにがしかの物は忙しくないかまたは比較言語学でないかどちらもだ」ということは嘘だとしたらそれは空輸しない fact12: 比較言語学は忙しいということはないけれどとろ臭い ; $hypothesis$ = そのモントレー・ベイ水族館は空輸しない ; $proof$ = 
fact10 -> int1: もしそのモントレー・ベイ水族館が比較言語学であるならば五Ｆだということはないし空輸する; fact1 & fact6 -> int2: そのモントレー・ベイ水族館は比較言語学である; int1 & int2 -> int3: そのモントレー・ベイ水族館は五Ｆだということはない一方で空輸する; int3 -> hypothesis; __DISPROVED__
事実1: 「その素行は忙しくない」ということは成り立つ
事実2: 仮にその素行が昼近くでないならばそのモントレー・ベイ水族館は浅黒くないけれどそれは考え辛い
事実3: そのモントレー・ベイ水族館は五Ｆだということはない
事実4: あの二十六Ａは答申しない
事実5: もし仮にその素行が写し為さるしかつそれが昼近くであるとしたらこの合わせ技は考え辛くない
事実6: 「その素行は忙しいということはない」ということは真実ならばそのモントレー・ベイ水族館は比較言語学である
事実7: 仮に「「なにかは昼近くであるしそれは答申する」ということは真実である」ということは成り立たないとすると昼近くだということはない
事実8: もしもなんらかの物は浅黒くないとすれば「忙しくないかあるいはそれは比較言語学でないかもしくは両方だ」ということは成り立たない
事実9: 考え辛くない物は浅黒いしさらに比較言語学だ
事実10: 比較言語学は五Ｆでない一方で空輸する
事実11: もし「なにがしかの物は忙しくないかまたは比較言語学でないかどちらもだ」ということは嘘だとしたらそれは空輸しない
事実12: 比較言語学は忙しいということはないけれどとろ臭い

仮説: そのモントレー・ベイ水族館は空輸しない
1. 事実10から、推論1: "もしそのモントレー・ベイ水族館が比較言語学であるならば五Ｆだということはないし空輸する"が導かれる
2. 事実1と事実6から、推論2: "そのモントレー・ベイ水族館は比較言語学である"が導かれる
3. 推論1と推論2から、推論3: "そのモントレー・ベイ水族館は五Ｆだということはない一方で空輸する"が導かれる
4. 推論3から、仮説が否定される

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