「そのパーティルームは小穴で更にたでる」ということは成り立たない
fact1: 「その濃縮製剤は無い」ということは本当だ fact2: 仮にこの過言が飛行機らしくないとするとそのパーティルームは飛行機らしくない fact3: 物寂しい物は単振動である fact4: もしもとある物は潮汁であるとするとそれは休み始める fact5: もし仮にその指定都市が言語機能であるということはなくてまたクールマックスでないとしたらそのパーティルームはたでる fact6: もしこの過言が無いならそれはクールマックスであるかそれは言語機能でないかもしくはどちらもである fact7: 賛成し難い物は継続し難くない fact8: 仮にこの諸国民が揉み始めるならその禁物は飛行機らしい fact9: この過言は継続し難いとすれば「この諸国民は賛成し難くない」ということは真実でない fact10: この過言は政治的行為だ fact11: この過言は無い fact12: ある物は継続し難いということはないとすれば「小穴であるしまたたでる」ということは成り立たない fact13: その禁物は飛行機らしいなら「そのパーティルームは小穴だ」ということは確かだ fact14: 「この六文字は無い」ということは本当である fact15: もし仮になんらかのものが賛成し難いなら揉み始める fact16: 飛行機らしいということはない物は賛成し難くてさらに揉み始める fact17: もしもこの六文字が無いとすればその指定都市は言語機能でなくてまたクールマックスでない fact18: この過言は継続し難い fact19: そのＡ攻撃は小穴でない
fact9 & fact18 -> int1: この諸国民は賛成し難い; fact15 -> int2: もし「この諸国民は賛成し難い」ということは成り立てば揉み始める; int1 & int2 -> int3: 「この諸国民は揉み始める」ということは真実だ; int3 & fact8 -> int4: その禁物は飛行機らしい; int4 & fact13 -> int5: そのパーティルームは小穴だ; fact17 & fact14 -> int6: その指定都市は言語機能でなくておまけにそれはクールマックスでない; fact5 & int6 -> int7: そのパーティルームはたでる; int5 & int7 -> hypothesis;
「「そのパーティルームは小穴であるしたでる」ということは偽だ」ということは正しい
fact20 -> int8: もしも「そのパーティルームは継続し難くない」ということは確かだとすれば「それは小穴でそれはたでる」ということは嘘だ; fact21 -> int9: もしそのパーティルームが賛成し難いなら継続し難くない; fact25 -> int10: 「仮にそのパーティルームは飛行機らしいということはないとしたら「そのパーティルームは賛成し難くて揉み始める」ということは嘘であるということはない」ということは真実だ; fact24 & fact23 -> int11: この過言はクールマックスであるかもしくはそれは言語機能であるということはない;
$facts$ = fact1: 「その濃縮製剤は無い」ということは本当だ fact2: 仮にこの過言が飛行機らしくないとするとそのパーティルームは飛行機らしくない fact3: 物寂しい物は単振動である fact4: もしもとある物は潮汁であるとするとそれは休み始める fact5: もし仮にその指定都市が言語機能であるということはなくてまたクールマックスでないとしたらそのパーティルームはたでる fact6: もしこの過言が無いならそれはクールマックスであるかそれは言語機能でないかもしくはどちらもである fact7: 賛成し難い物は継続し難くない fact8: 仮にこの諸国民が揉み始めるならその禁物は飛行機らしい fact9: この過言は継続し難いとすれば「この諸国民は賛成し難くない」ということは真実でない fact10: この過言は政治的行為だ fact11: この過言は無い fact12: ある物は継続し難いということはないとすれば「小穴であるしまたたでる」ということは成り立たない fact13: その禁物は飛行機らしいなら「そのパーティルームは小穴だ」ということは確かだ fact14: 「この六文字は無い」ということは本当である fact15: もし仮になんらかのものが賛成し難いなら揉み始める fact16: 飛行機らしいということはない物は賛成し難くてさらに揉み始める fact17: もしもこの六文字が無いとすればその指定都市は言語機能でなくてまたクールマックスでない fact18: この過言は継続し難い fact19: そのＡ攻撃は小穴でない ; $hypothesis$ = 「そのパーティルームは小穴で更にたでる」ということは成り立たない ; $proof$ = 
fact9 & fact18 -> int1: この諸国民は賛成し難い; fact15 -> int2: もし「この諸国民は賛成し難い」ということは成り立てば揉み始める; int1 & int2 -> int3: 「この諸国民は揉み始める」ということは真実だ; int3 & fact8 -> int4: その禁物は飛行機らしい; int4 & fact13 -> int5: そのパーティルームは小穴だ; fact17 & fact14 -> int6: その指定都市は言語機能でなくておまけにそれはクールマックスでない; fact5 & int6 -> int7: そのパーティルームはたでる; int5 & int7 -> hypothesis; __DISPROVED__
事実1: 「その濃縮製剤は無い」ということは本当だ
事実2: 仮にこの過言が飛行機らしくないとするとそのパーティルームは飛行機らしくない
事実3: 物寂しい物は単振動である
事実4: もしもとある物は潮汁であるとするとそれは休み始める
事実5: もし仮にその指定都市が言語機能であるということはなくてまたクールマックスでないとしたらそのパーティルームはたでる
事実6: もしこの過言が無いならそれはクールマックスであるかそれは言語機能でないかもしくはどちらもである
事実7: 賛成し難い物は継続し難くない
事実8: 仮にこの諸国民が揉み始めるならその禁物は飛行機らしい
事実9: この過言は継続し難いとすれば「この諸国民は賛成し難くない」ということは真実でない
事実10: この過言は政治的行為だ
事実11: この過言は無い
事実12: ある物は継続し難いということはないとすれば「小穴であるしまたたでる」ということは成り立たない
事実13: その禁物は飛行機らしいなら「そのパーティルームは小穴だ」ということは確かだ
事実14: 「この六文字は無い」ということは本当である
事実15: もし仮になんらかのものが賛成し難いなら揉み始める
事実16: 飛行機らしいということはない物は賛成し難くてさらに揉み始める
事実17: もしもこの六文字が無いとすればその指定都市は言語機能でなくてまたクールマックスでない
事実18: この過言は継続し難い
事実19: そのＡ攻撃は小穴でない

仮説: 「そのパーティルームは小穴で更にたでる」ということは成り立たない
1. 事実9と事実18から、推論1: "この諸国民は賛成し難い"が導かれる
2. 事実15から、推論2: "もし「この諸国民は賛成し難い」ということは成り立てば揉み始める"が導かれる
3. 推論1と推論2から、推論3: "「この諸国民は揉み始める」ということは真実だ"が導かれる
4. 推論3と事実8から、推論4: "その禁物は飛行機らしい"が導かれる
5. 推論4と事実13から、推論5: "そのパーティルームは小穴だ"が導かれる
6. 事実17と事実14から、推論6: "その指定都市は言語機能でなくておまけにそれはクールマックスでない"が導かれる
7. 事実5と推論6から、推論7: "そのパーティルームはたでる"が導かれる
8. 推論5と推論7から、仮説が否定される

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