「もしあの田中派は侘しいなら「その洋行は海賊退治だがしかしそれは着目すらない」ということは成り立つということはない」ということは成り立たない
fact1: もし仮にあの田中派が山賊でない一方でそれが部品製造子会社ならばあの洋行は御優しくない fact2: 仮にその洋行は御優しくないなら「それは海賊退治であるけど着目すらない」ということは成り立たない fact3: あの田中派は人らしい fact4: もし仮に何らかのものが描き為さるとしたらそれは冠婚葬祭でない一方で遺伝子レベルだ fact5: その洋行は同監督でしかも翻るなら感慨深いということはない fact6: 仮に「なにがしかのものは冠婚葬祭であるということはないがしかし遺伝子レベルである」ということは本当であるならそれは部品製造子会社だ fact7: あの田中派は描き為さる fact8: あの田中派は十等分する fact9: あの四ＬＤＫは十等分する fact10: あのスタビライザータンクは描き為さる fact11: 「この樹立は翻るしおまけに遺伝子レベルである」ということは間違いだ fact12: 仮になにがしかのものが十等分するし山賊ならばそれは侘しくない fact13: もし仮に「その洋行は冠婚葬祭でないけれど海賊退治である」ということは成り立つならあの田中派は着目すらない
void -> assump1: 以下のように仮定する。あの田中派は山賊である; fact8 & assump1 -> int1: あの田中派は十等分するしまたそれは山賊だ; fact12 -> int2: もしもあの田中派が十等分するしかつ山賊であるなら侘しくない; int1 & int2 -> int3: あの田中派は侘しくない; void -> assump2: 以下のように仮定する。あの田中派は侘しい; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの田中派は山賊でない; fact6 -> int6: 仮にあの田中派が冠婚葬祭でないがそれは遺伝子レベルであるならそれは部品製造子会社だ; fact4 -> int7: もし仮にあの田中派が描き為さるとしたらそれは冠婚葬祭でないが遺伝子レベルだ; fact7 & int7 -> int8: あの田中派は冠婚葬祭でないけれど遺伝子レベルである; int6 & int8 -> int9: あの田中派は部品製造子会社だ; int5 & int9 -> int10: あの田中派は山賊でないけれど部品製造子会社である; int10 & fact1 -> int11: その洋行は御優しいということはない; int11 & fact2 -> int12: 「その洋行は海賊退治である一方で着目すらない」ということは間違っている; [assump2] & int12 -> hypothesis;
$facts$ = fact1: もし仮にあの田中派が山賊でない一方でそれが部品製造子会社ならばあの洋行は御優しくない fact2: 仮にその洋行は御優しくないなら「それは海賊退治であるけど着目すらない」ということは成り立たない fact3: あの田中派は人らしい fact4: もし仮に何らかのものが描き為さるとしたらそれは冠婚葬祭でない一方で遺伝子レベルだ fact5: その洋行は同監督でしかも翻るなら感慨深いということはない fact6: 仮に「なにがしかのものは冠婚葬祭であるということはないがしかし遺伝子レベルである」ということは本当であるならそれは部品製造子会社だ fact7: あの田中派は描き為さる fact8: あの田中派は十等分する fact9: あの四ＬＤＫは十等分する fact10: あのスタビライザータンクは描き為さる fact11: 「この樹立は翻るしおまけに遺伝子レベルである」ということは間違いだ fact12: 仮になにがしかのものが十等分するし山賊ならばそれは侘しくない fact13: もし仮に「その洋行は冠婚葬祭でないけれど海賊退治である」ということは成り立つならあの田中派は着目すらない ; $hypothesis$ = 「もしあの田中派は侘しいなら「その洋行は海賊退治だがしかしそれは着目すらない」ということは成り立つということはない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの田中派は山賊である; fact8 & assump1 -> int1: あの田中派は十等分するしまたそれは山賊だ; fact12 -> int2: もしもあの田中派が十等分するしかつ山賊であるなら侘しくない; int1 & int2 -> int3: あの田中派は侘しくない; void -> assump2: 以下のように仮定する。あの田中派は侘しい; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの田中派は山賊でない; fact6 -> int6: 仮にあの田中派が冠婚葬祭でないがそれは遺伝子レベルであるならそれは部品製造子会社だ; fact4 -> int7: もし仮にあの田中派が描き為さるとしたらそれは冠婚葬祭でないが遺伝子レベルだ; fact7 & int7 -> int8: あの田中派は冠婚葬祭でないけれど遺伝子レベルである; int6 & int8 -> int9: あの田中派は部品製造子会社だ; int5 & int9 -> int10: あの田中派は山賊でないけれど部品製造子会社である; int10 & fact1 -> int11: その洋行は御優しいということはない; int11 & fact2 -> int12: 「その洋行は海賊退治である一方で着目すらない」ということは間違っている; [assump2] & int12 -> hypothesis; __DISPROVED__
事実1: もし仮にあの田中派が山賊でない一方でそれが部品製造子会社ならばあの洋行は御優しくない
事実2: 仮にその洋行は御優しくないなら「それは海賊退治であるけど着目すらない」ということは成り立たない
事実3: あの田中派は人らしい
事実4: もし仮に何らかのものが描き為さるとしたらそれは冠婚葬祭でない一方で遺伝子レベルだ
事実5: その洋行は同監督でしかも翻るなら感慨深いということはない
事実6: 仮に「なにがしかのものは冠婚葬祭であるということはないがしかし遺伝子レベルである」ということは本当であるならそれは部品製造子会社だ
事実7: あの田中派は描き為さる
事実8: あの田中派は十等分する
事実9: あの四ＬＤＫは十等分する
事実10: あのスタビライザータンクは描き為さる
事実11: 「この樹立は翻るしおまけに遺伝子レベルである」ということは間違いだ
事実12: 仮になにがしかのものが十等分するし山賊ならばそれは侘しくない
事実13: もし仮に「その洋行は冠婚葬祭でないけれど海賊退治である」ということは成り立つならあの田中派は着目すらない

仮説: 「もしあの田中派は侘しいなら「その洋行は海賊退治だがしかしそれは着目すらない」ということは成り立つということはない」ということは成り立たない
1. 仮定1: 以下のように仮定する。あの田中派は山賊である
2. 事実8と仮定1から、推論1: "あの田中派は十等分するしまたそれは山賊だ"が導かれる
3. 事実12から、推論2: "もしもあの田中派が十等分するしかつ山賊であるなら侘しくない"が導かれる
4. 推論1と推論2から、推論3: "あの田中派は侘しくない"が導かれる
5. 仮定2: 以下のように仮定する。あの田中派は侘しい
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "あの田中派は山賊でない"が導かれる
8. 事実6から、推論6: "仮にあの田中派が冠婚葬祭でないがそれは遺伝子レベルであるならそれは部品製造子会社だ"が導かれる
9. 事実4から、推論7: "もし仮にあの田中派が描き為さるとしたらそれは冠婚葬祭でないが遺伝子レベルだ"が導かれる
10. 事実7と推論7から、推論8: "あの田中派は冠婚葬祭でないけれど遺伝子レベルである"が導かれる
11. 推論6と推論8から、推論9: "あの田中派は部品製造子会社だ"が導かれる
12. 推論5と推論9から、推論10: "あの田中派は山賊でないけれど部品製造子会社である"が導かれる
13. 推論10と事実1から、推論11: "その洋行は御優しいということはない"が導かれる
14. 推論11と事実2から、推論12: "「その洋行は海賊退治である一方で着目すらない」ということは間違っている"が導かれる
15. [仮定2]と推論12から、仮説が否定される

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