「「もし仮に揺るぎないならば「海兵出身だ」ということは成り立つ」ものはある」ということは間違いである
fact1: そのミーンは熱っぽい fact2: そのミーンは退学問題である fact3: そのミーンは掻き鳴らす fact4: そのミーンは淡い fact5: そのミーンは因り難くないとすれば「海兵出身である」ということは成り立つ fact6: この都道府県名は因り難い fact7: 「そのミーンは大差無い」ということは成り立つ fact8: もしもこの油田疑獄が揺るぎないならばそれは過失犯である fact9: そのミーンは吹き過ぎる fact10: 「この下谷広小路は藍色である一方で少なくない」ということは成り立たないとすれば概観する fact11: 仮に「何かは因り難いがしかし自粛しない」ということは偽ならば海兵出身である fact12: もし仮に「あるものは過失犯だがしかし歌い終えない」ということは間違っていれば長ったらしい fact13: もし「あるものは竈だけど座り易くない」ということは成り立たないなら「それは馴れ馴れしい」ということは成り立つ fact14: もし仮にしんどかないものが模様化するとしたらそれは退学問題でない fact15: もしもそのミーンは揺るぎないとすると「因り難くて加えて自粛しない」ということは成り立たない fact16: 仮にある物が因り難くないならばそれは海兵出身だ fact17: もしもこの油田疑獄は海兵出身であるとすれば揺るぎない
void -> assump1: 以下のように仮定する。そのミーンは揺るぎない; fact15 & assump1 -> int1: 「そのミーンは因り難いけれど自粛するということはない」ということは間違っている; fact11 -> int2: もし「そのミーンは因り難い一方で自粛しない」ということは成り立たないとしたら「それは海兵出身だ」ということは成り立つ; int1 & int2 -> int3: そのミーンは海兵出身である; [assump1] & int3 -> int4: もしそのミーンが揺るぎないとすると海兵出身である; int4 -> hypothesis;
「そのミーンは因り難いが過失犯であるということはない」ということは本当でない
fact18 -> int5: もしもあの交通需要はしんどかないけれど模様化すればそれは退学問題でない;
$facts$ = fact1: そのミーンは熱っぽい fact2: そのミーンは退学問題である fact3: そのミーンは掻き鳴らす fact4: そのミーンは淡い fact5: そのミーンは因り難くないとすれば「海兵出身である」ということは成り立つ fact6: この都道府県名は因り難い fact7: 「そのミーンは大差無い」ということは成り立つ fact8: もしもこの油田疑獄が揺るぎないならばそれは過失犯である fact9: そのミーンは吹き過ぎる fact10: 「この下谷広小路は藍色である一方で少なくない」ということは成り立たないとすれば概観する fact11: 仮に「何かは因り難いがしかし自粛しない」ということは偽ならば海兵出身である fact12: もし仮に「あるものは過失犯だがしかし歌い終えない」ということは間違っていれば長ったらしい fact13: もし「あるものは竈だけど座り易くない」ということは成り立たないなら「それは馴れ馴れしい」ということは成り立つ fact14: もし仮にしんどかないものが模様化するとしたらそれは退学問題でない fact15: もしもそのミーンは揺るぎないとすると「因り難くて加えて自粛しない」ということは成り立たない fact16: 仮にある物が因り難くないならばそれは海兵出身だ fact17: もしもこの油田疑獄は海兵出身であるとすれば揺るぎない ; $hypothesis$ = 「「もし仮に揺るぎないならば「海兵出身だ」ということは成り立つ」ものはある」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。そのミーンは揺るぎない; fact15 & assump1 -> int1: 「そのミーンは因り難いけれど自粛するということはない」ということは間違っている; fact11 -> int2: もし「そのミーンは因り難い一方で自粛しない」ということは成り立たないとしたら「それは海兵出身だ」ということは成り立つ; int1 & int2 -> int3: そのミーンは海兵出身である; [assump1] & int3 -> int4: もしそのミーンが揺るぎないとすると海兵出身である; int4 -> hypothesis; __DISPROVED__
事実1: そのミーンは熱っぽい
事実2: そのミーンは退学問題である
事実3: そのミーンは掻き鳴らす
事実4: そのミーンは淡い
事実5: そのミーンは因り難くないとすれば「海兵出身である」ということは成り立つ
事実6: この都道府県名は因り難い
事実7: 「そのミーンは大差無い」ということは成り立つ
事実8: もしもこの油田疑獄が揺るぎないならばそれは過失犯である
事実9: そのミーンは吹き過ぎる
事実10: 「この下谷広小路は藍色である一方で少なくない」ということは成り立たないとすれば概観する
事実11: 仮に「何かは因り難いがしかし自粛しない」ということは偽ならば海兵出身である
事実12: もし仮に「あるものは過失犯だがしかし歌い終えない」ということは間違っていれば長ったらしい
事実13: もし「あるものは竈だけど座り易くない」ということは成り立たないなら「それは馴れ馴れしい」ということは成り立つ
事実14: もし仮にしんどかないものが模様化するとしたらそれは退学問題でない
事実15: もしもそのミーンは揺るぎないとすると「因り難くて加えて自粛しない」ということは成り立たない
事実16: 仮にある物が因り難くないならばそれは海兵出身だ
事実17: もしもこの油田疑獄は海兵出身であるとすれば揺るぎない

仮説: 「「もし仮に揺るぎないならば「海兵出身だ」ということは成り立つ」ものはある」ということは間違いである
1. 仮定1: 以下のように仮定する。そのミーンは揺るぎない
2. 事実15と仮定1から、推論1: "「そのミーンは因り難いけれど自粛するということはない」ということは間違っている"が導かれる
3. 事実11から、推論2: "もし「そのミーンは因り難い一方で自粛しない」ということは成り立たないとしたら「それは海兵出身だ」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "そのミーンは海兵出身である"が導かれる
5. [仮定1]と推論3から、推論4: "もしそのミーンが揺るぎないとすると海兵出身である"が導かれる
6. 推論4から、仮説が否定される

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