「この鎖骨下動脈は白でなくて更に下仁田葱でない」ということは成り立たない
fact1: あの人民委員会は任意同行する fact2: もし仮にその崩壊後が浅ましないならばあの人民委員会はどす黒い fact3: あの人民委員会が任意同行すればそれは電気双極子である fact4: もし仮にあの人民委員会が電気双極子でしかも聞き間違うならそれは水揚げだということはない fact5: どす黒い物は下仁田葱であるとしたらそれは白でない fact6: この鎖骨下動脈は下仁田葱であるということはない fact7: この一日刊はどす黒い fact8: もし仮にあの人民委員会が下仁田葱でないとすればこの鎖骨下動脈は消え掛ける fact9: もしあの人民委員会が白でないならばこの鎖骨下動脈は下仁田葱でない fact10: あの人民委員会は薄汚い fact11: 「反しない」物はある fact12: 仮に何かは水揚げでないとするとはしたなくない fact13: その崩壊後は浅ましない fact14: もし仮にあの人民委員会が白であるし消え掛ければ「それは下仁田葱でない」ということは正しい fact15: もしも何らかの物ははしたなくないなら「それは浅ましないしおまけにどす黒い」ということは間違いだ fact16: 「なにがしかの物は浅ましないがそれはどす黒い」ということは成り立たないとしたらどす黒くない fact17: もしなにかは消え掛けるし加えてどす黒いとすると白でない fact18: もし何らかの物は甲高くないなら「白でなくてその上下仁田葱でない」ということは本当でない fact19: もし仮にあの人民委員会が白でないならこの鎖骨下動脈は白でなくて下仁田葱でない fact20: あの人民委員会は損傷脊髄内だ fact21: あの人民委員会は甲高いということはない fact22: 甲高くない物が薄汚いとすればそれは消え掛ける
fact21 & fact10 -> int1: あの人民委員会は甲高くないがしかしそれは薄汚い; fact22 -> int2: 「もし仮にあの人民委員会が甲高くないけれど薄汚いとしたらあの人民委員会は消え掛ける」ということは成り立つ; int1 & int2 -> int3: あの人民委員会は消え掛ける; fact13 & fact2 -> int4: あの人民委員会はどす黒い; int3 & int4 -> int5: あの人民委員会は消え掛けるしそれはどす黒い; fact17 -> int6: 仮にあの人民委員会は消え掛けるしかつどす黒いとしたらそれは白でない; int5 & int6 -> int7: あの人民委員会は白でない; int7 & fact19 -> hypothesis;
「この鎖骨下動脈は白でないし更に下仁田葱でない」ということは成り立たない
fact26 -> int8: この鎖骨下動脈は甲高くないならば「「それは白でなくてまた下仁田葱でない」ということは事実だ」ということは成り立たない; fact23 -> int9: 仮に「あの人民委員会は浅ましないけどどす黒い」ということは間違っていればそれはどす黒いということはない; fact24 -> int10: もし仮にあの人民委員会ははしたなくないとすれば「それは浅ましないしそれはどす黒い」ということは成り立つということはない; fact25 -> int11: もし仮にあの人民委員会は水揚げでないならはしたなくない; fact28 & fact30 -> int12: 「あの人民委員会は電気双極子である」ということは真実だ;
$facts$ = fact1: あの人民委員会は任意同行する fact2: もし仮にその崩壊後が浅ましないならばあの人民委員会はどす黒い fact3: あの人民委員会が任意同行すればそれは電気双極子である fact4: もし仮にあの人民委員会が電気双極子でしかも聞き間違うならそれは水揚げだということはない fact5: どす黒い物は下仁田葱であるとしたらそれは白でない fact6: この鎖骨下動脈は下仁田葱であるということはない fact7: この一日刊はどす黒い fact8: もし仮にあの人民委員会が下仁田葱でないとすればこの鎖骨下動脈は消え掛ける fact9: もしあの人民委員会が白でないならばこの鎖骨下動脈は下仁田葱でない fact10: あの人民委員会は薄汚い fact11: 「反しない」物はある fact12: 仮に何かは水揚げでないとするとはしたなくない fact13: その崩壊後は浅ましない fact14: もし仮にあの人民委員会が白であるし消え掛ければ「それは下仁田葱でない」ということは正しい fact15: もしも何らかの物ははしたなくないなら「それは浅ましないしおまけにどす黒い」ということは間違いだ fact16: 「なにがしかの物は浅ましないがそれはどす黒い」ということは成り立たないとしたらどす黒くない fact17: もしなにかは消え掛けるし加えてどす黒いとすると白でない fact18: もし何らかの物は甲高くないなら「白でなくてその上下仁田葱でない」ということは本当でない fact19: もし仮にあの人民委員会が白でないならこの鎖骨下動脈は白でなくて下仁田葱でない fact20: あの人民委員会は損傷脊髄内だ fact21: あの人民委員会は甲高いということはない fact22: 甲高くない物が薄汚いとすればそれは消え掛ける ; $hypothesis$ = 「この鎖骨下動脈は白でなくて更に下仁田葱でない」ということは成り立たない ; $proof$ = 
fact21 & fact10 -> int1: あの人民委員会は甲高くないがしかしそれは薄汚い; fact22 -> int2: 「もし仮にあの人民委員会が甲高くないけれど薄汚いとしたらあの人民委員会は消え掛ける」ということは成り立つ; int1 & int2 -> int3: あの人民委員会は消え掛ける; fact13 & fact2 -> int4: あの人民委員会はどす黒い; int3 & int4 -> int5: あの人民委員会は消え掛けるしそれはどす黒い; fact17 -> int6: 仮にあの人民委員会は消え掛けるしかつどす黒いとしたらそれは白でない; int5 & int6 -> int7: あの人民委員会は白でない; int7 & fact19 -> hypothesis; __DISPROVED__
事実1: あの人民委員会は任意同行する
事実2: もし仮にその崩壊後が浅ましないならばあの人民委員会はどす黒い
事実3: あの人民委員会が任意同行すればそれは電気双極子である
事実4: もし仮にあの人民委員会が電気双極子でしかも聞き間違うならそれは水揚げだということはない
事実5: どす黒い物は下仁田葱であるとしたらそれは白でない
事実6: この鎖骨下動脈は下仁田葱であるということはない
事実7: この一日刊はどす黒い
事実8: もし仮にあの人民委員会が下仁田葱でないとすればこの鎖骨下動脈は消え掛ける
事実9: もしあの人民委員会が白でないならばこの鎖骨下動脈は下仁田葱でない
事実10: あの人民委員会は薄汚い
事実11: 「反しない」物はある
事実12: 仮に何かは水揚げでないとするとはしたなくない
事実13: その崩壊後は浅ましない
事実14: もし仮にあの人民委員会が白であるし消え掛ければ「それは下仁田葱でない」ということは正しい
事実15: もしも何らかの物ははしたなくないなら「それは浅ましないしおまけにどす黒い」ということは間違いだ
事実16: 「なにがしかの物は浅ましないがそれはどす黒い」ということは成り立たないとしたらどす黒くない
事実17: もしなにかは消え掛けるし加えてどす黒いとすると白でない
事実18: もし何らかの物は甲高くないなら「白でなくてその上下仁田葱でない」ということは本当でない
事実19: もし仮にあの人民委員会が白でないならこの鎖骨下動脈は白でなくて下仁田葱でない
事実20: あの人民委員会は損傷脊髄内だ
事実21: あの人民委員会は甲高いということはない
事実22: 甲高くない物が薄汚いとすればそれは消え掛ける

仮説: 「この鎖骨下動脈は白でなくて更に下仁田葱でない」ということは成り立たない
1. 事実21と事実10から、推論1: "あの人民委員会は甲高くないがしかしそれは薄汚い"が導かれる
2. 事実22から、推論2: "「もし仮にあの人民委員会が甲高くないけれど薄汚いとしたらあの人民委員会は消え掛ける」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "あの人民委員会は消え掛ける"が導かれる
4. 事実13と事実2から、推論4: "あの人民委員会はどす黒い"が導かれる
5. 推論3と推論4から、推論5: "あの人民委員会は消え掛けるしそれはどす黒い"が導かれる
6. 事実17から、推論6: "仮にあの人民委員会は消え掛けるしかつどす黒いとしたらそれは白でない"が導かれる
7. 推論5と推論6から、推論7: "あの人民委員会は白でない"が導かれる
8. 推論7と事実19から、仮説が否定される

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