あの学校建設は騙せるが足踏みしない
fact1: その河豚毒は足踏みしない fact2: もしなにがしかの物は酸くないとすれば「それが騙せるしその上足踏みしない」ということは事実でない fact3: もしも何らかのものは酸くないなら「「それは騙せるしそれは足踏みする」ということは本当である」ということは成り立たない fact4: もし仮に「あの学校建設は不完全性でない一方で忍ばす」ということは誤りであるとしたらその河豚毒は酸くない fact5: もし仮に「その河豚毒は酸くない」ということは成り立つなら「足踏みするが忍ばさない」ということは成り立たない fact6: 「あの学校建設は忍ばすけどそれは酸くない」ということは成り立たない fact7: もし仮に「あの学校建設は足踏みしないが不完全性だ」ということは成り立たないならその河豚毒は騙せらない fact8: 「あの学校建設は騙せるしまた足踏みする」ということは成り立たない fact9: その河豚毒が忍ばすということはないならばあの学校建設は酸くない fact10: 「その河豚毒は不完全性でないけど忍ばす」ということは偽である fact11: 「「その二十年余りは足踏みするということはないけど小狡い」ということは成り立たない」ということは事実である fact12: あの学校建設は酸いということはないなら「それは騙せるしかつそれは足踏みする」ということは偽だ fact13: 仮に「その河豚毒は不完全性でないが忍ばす」ということは真実でないならばあの学校建設は酸くない fact14: 「そのゲイブリエル・ホワイトは忍ばすということはない一方で障壁層である」ということは成り立つということはない fact15: もし「その河豚毒は騙せらないが足踏みする」ということは間違いであるならばあの学校建設は忍ばさない fact16: 仮にその河豚毒は騙せらないとすると「それは足踏みするがしかし忍ばさない」ということは成り立つということはない fact17: あの学校建設は忍ばさない fact18: 「その河豚毒は足踏みする一方で忍ばすということはない」ということは誤りである
fact13 & fact10 -> int1: あの学校建設は酸くない; fact2 -> int2: もし仮にあの学校建設は酸くないとすると「「それは騙せる一方で足踏みしない」ということは成り立つ」ということは成り立つということはない; int1 & int2 -> hypothesis;
fact13 & fact10 -> int1: ¬{B}{b}; fact2 -> int2: ¬{B}{b} -> ¬({C}{b} & ¬{A}{b}); int1 & int2 -> hypothesis;
$facts$ = fact1: その河豚毒は足踏みしない fact2: もしなにがしかの物は酸くないとすれば「それが騙せるしその上足踏みしない」ということは事実でない fact3: もしも何らかのものは酸くないなら「「それは騙せるしそれは足踏みする」ということは本当である」ということは成り立たない fact4: もし仮に「あの学校建設は不完全性でない一方で忍ばす」ということは誤りであるとしたらその河豚毒は酸くない fact5: もし仮に「その河豚毒は酸くない」ということは成り立つなら「足踏みするが忍ばさない」ということは成り立たない fact6: 「あの学校建設は忍ばすけどそれは酸くない」ということは成り立たない fact7: もし仮に「あの学校建設は足踏みしないが不完全性だ」ということは成り立たないならその河豚毒は騙せらない fact8: 「あの学校建設は騙せるしまた足踏みする」ということは成り立たない fact9: その河豚毒が忍ばすということはないならばあの学校建設は酸くない fact10: 「その河豚毒は不完全性でないけど忍ばす」ということは偽である fact11: 「「その二十年余りは足踏みするということはないけど小狡い」ということは成り立たない」ということは事実である fact12: あの学校建設は酸いということはないなら「それは騙せるしかつそれは足踏みする」ということは偽だ fact13: 仮に「その河豚毒は不完全性でないが忍ばす」ということは真実でないならばあの学校建設は酸くない fact14: 「そのゲイブリエル・ホワイトは忍ばすということはない一方で障壁層である」ということは成り立つということはない fact15: もし「その河豚毒は騙せらないが足踏みする」ということは間違いであるならばあの学校建設は忍ばさない fact16: 仮にその河豚毒は騙せらないとすると「それは足踏みするがしかし忍ばさない」ということは成り立つということはない fact17: あの学校建設は忍ばさない fact18: 「その河豚毒は足踏みする一方で忍ばすということはない」ということは誤りである ; $hypothesis$ = あの学校建設は騙せるが足踏みしない ; $proof$ = 
fact13 & fact10 -> int1: あの学校建設は酸くない; fact2 -> int2: もし仮にあの学校建設は酸くないとすると「「それは騙せる一方で足踏みしない」ということは成り立つ」ということは成り立つということはない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: その河豚毒は足踏みしない
事実2: もしなにがしかの物は酸くないとすれば「それが騙せるしその上足踏みしない」ということは事実でない
事実3: もしも何らかのものは酸くないなら「「それは騙せるしそれは足踏みする」ということは本当である」ということは成り立たない
事実4: もし仮に「あの学校建設は不完全性でない一方で忍ばす」ということは誤りであるとしたらその河豚毒は酸くない
事実5: もし仮に「その河豚毒は酸くない」ということは成り立つなら「足踏みするが忍ばさない」ということは成り立たない
事実6: 「あの学校建設は忍ばすけどそれは酸くない」ということは成り立たない
事実7: もし仮に「あの学校建設は足踏みしないが不完全性だ」ということは成り立たないならその河豚毒は騙せらない
事実8: 「あの学校建設は騙せるしまた足踏みする」ということは成り立たない
事実9: その河豚毒が忍ばすということはないならばあの学校建設は酸くない
事実10: 「その河豚毒は不完全性でないけど忍ばす」ということは偽である
事実11: 「「その二十年余りは足踏みするということはないけど小狡い」ということは成り立たない」ということは事実である
事実12: あの学校建設は酸いということはないなら「それは騙せるしかつそれは足踏みする」ということは偽だ
事実13: 仮に「その河豚毒は不完全性でないが忍ばす」ということは真実でないならばあの学校建設は酸くない
事実14: 「そのゲイブリエル・ホワイトは忍ばすということはない一方で障壁層である」ということは成り立つということはない
事実15: もし「その河豚毒は騙せらないが足踏みする」ということは間違いであるならばあの学校建設は忍ばさない
事実16: 仮にその河豚毒は騙せらないとすると「それは足踏みするがしかし忍ばさない」ということは成り立つということはない
事実17: あの学校建設は忍ばさない
事実18: 「その河豚毒は足踏みする一方で忍ばすということはない」ということは誤りである

仮説: あの学校建設は騙せるが足踏みしない
1. 事実13と事実10から、推論1: "あの学校建設は酸くない"が導かれる
2. 事実2から、推論2: "もし仮にあの学校建設は酸くないとすると「「それは騙せる一方で足踏みしない」ということは成り立つ」ということは成り立つということはない"が導かれる
3. 推論1と推論2から、仮説が否定される

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