「もしもその粒状がくすむとしたらその犯行は含み笑わないけど老け込む」ということは間違いだ
fact1: もしも「あのビタミンＢは毛繕いでないがしかし局所神経症状である」ということは偽であるならばその犯行は含み笑わない fact2: 仮にその石油価格は思えらないとすれば「増殖速度でなくて学び取れない」ということは誤りだ fact3: もし仮にその石油価格は毛繕いだとしたら「あのビタミンＢは毛繕いであるということはない一方で局所神経症状である」ということは誤っている fact4: もしもなにかは毛繕いであるとすれば「それは合成反応でないけれど局所神経症状である」ということは成り立つということはない fact5: もし「「増殖速度だということはない」ということは事実な」ものはあるとすると「あのカット綿ははしたない一方で学び取れるということはない」ということは成り立たない fact6: もし仮にその石油価格は毛繕いでないならば黒しがしかし群発頭痛でない fact7: もし仮にその石油価格は黒しけどそれは群発頭痛でないとしたらその粒状はくすまない fact8: もしも「あのカット綿ははしたない一方で学び取れない」ということは間違いだとすればあの犯行は老け込む fact9: 「増殖速度でない」ものはある fact10: 「卓球台だということはない」ものはある fact11: もしもあるものが含み笑わないなら毛繕いだしくすむ fact12: もし「その石油価格は含み笑うかもしくははしたなくないか両方だ」ということは誤っていればこの柱書きは含み笑うということはない fact13: 仮に「その石油価格は増殖速度であるということはないし学び取れない」ということは偽だとすると老け込む fact14: もし仮にその石油価格は毛繕いでないとするとそれは群発頭痛でない
void -> assump2: 以下のように仮定する。その石油価格は毛繕いでない; fact6 & assump2 -> int1: その石油価格は黒しけれどそれは群発頭痛でない; int1 & fact7 -> int2: その粒状はくすまない; void -> assump1: 以下のように仮定する。その粒状はくすむ; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: その石油価格は毛繕いである; int4 & fact3 -> int5: 「あのビタミンＢは毛繕いでないけれど局所神経症状だ」ということは成り立たない; int5 & fact1 -> int6: その犯行は含み笑わない; fact9 & fact5 -> int7: 「あのカット綿ははしたないけれど学び取れない」ということは成り立たない; int7 & fact8 -> int8: その犯行は老け込む; int6 & int8 -> int9: その犯行は含み笑わないがそれは老け込む; [assump1] & int9 -> hypothesis;
「この柱書きは合成反応でないがそれは局所神経症状である」ということは成り立たない
fact18 -> int10: もしこの柱書きは毛繕いだとすると「それは合成反応でないが局所神経症状だ」ということは成り立つということはない; fact16 -> int11: この柱書きが含み笑うということはないとすると毛繕いであるしくすむ;
$facts$ = fact1: もしも「あのビタミンＢは毛繕いでないがしかし局所神経症状である」ということは偽であるならばその犯行は含み笑わない fact2: 仮にその石油価格は思えらないとすれば「増殖速度でなくて学び取れない」ということは誤りだ fact3: もし仮にその石油価格は毛繕いだとしたら「あのビタミンＢは毛繕いであるということはない一方で局所神経症状である」ということは誤っている fact4: もしもなにかは毛繕いであるとすれば「それは合成反応でないけれど局所神経症状である」ということは成り立つということはない fact5: もし「「増殖速度だということはない」ということは事実な」ものはあるとすると「あのカット綿ははしたない一方で学び取れるということはない」ということは成り立たない fact6: もし仮にその石油価格は毛繕いでないならば黒しがしかし群発頭痛でない fact7: もし仮にその石油価格は黒しけどそれは群発頭痛でないとしたらその粒状はくすまない fact8: もしも「あのカット綿ははしたない一方で学び取れない」ということは間違いだとすればあの犯行は老け込む fact9: 「増殖速度でない」ものはある fact10: 「卓球台だということはない」ものはある fact11: もしもあるものが含み笑わないなら毛繕いだしくすむ fact12: もし「その石油価格は含み笑うかもしくははしたなくないか両方だ」ということは誤っていればこの柱書きは含み笑うということはない fact13: 仮に「その石油価格は増殖速度であるということはないし学び取れない」ということは偽だとすると老け込む fact14: もし仮にその石油価格は毛繕いでないとするとそれは群発頭痛でない ; $hypothesis$ = 「もしもその粒状がくすむとしたらその犯行は含み笑わないけど老け込む」ということは間違いだ ; $proof$ = 
void -> assump2: 以下のように仮定する。その石油価格は毛繕いでない; fact6 & assump2 -> int1: その石油価格は黒しけれどそれは群発頭痛でない; int1 & fact7 -> int2: その粒状はくすまない; void -> assump1: 以下のように仮定する。その粒状はくすむ; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: その石油価格は毛繕いである; int4 & fact3 -> int5: 「あのビタミンＢは毛繕いでないけれど局所神経症状だ」ということは成り立たない; int5 & fact1 -> int6: その犯行は含み笑わない; fact9 & fact5 -> int7: 「あのカット綿ははしたないけれど学び取れない」ということは成り立たない; int7 & fact8 -> int8: その犯行は老け込む; int6 & int8 -> int9: その犯行は含み笑わないがそれは老け込む; [assump1] & int9 -> hypothesis; __DISPROVED__
事実1: もしも「あのビタミンＢは毛繕いでないがしかし局所神経症状である」ということは偽であるならばその犯行は含み笑わない
事実2: 仮にその石油価格は思えらないとすれば「増殖速度でなくて学び取れない」ということは誤りだ
事実3: もし仮にその石油価格は毛繕いだとしたら「あのビタミンＢは毛繕いであるということはない一方で局所神経症状である」ということは誤っている
事実4: もしもなにかは毛繕いであるとすれば「それは合成反応でないけれど局所神経症状である」ということは成り立つということはない
事実5: もし「「増殖速度だということはない」ということは事実な」ものはあるとすると「あのカット綿ははしたない一方で学び取れるということはない」ということは成り立たない
事実6: もし仮にその石油価格は毛繕いでないならば黒しがしかし群発頭痛でない
事実7: もし仮にその石油価格は黒しけどそれは群発頭痛でないとしたらその粒状はくすまない
事実8: もしも「あのカット綿ははしたない一方で学び取れない」ということは間違いだとすればあの犯行は老け込む
事実9: 「増殖速度でない」ものはある
事実10: 「卓球台だということはない」ものはある
事実11: もしもあるものが含み笑わないなら毛繕いだしくすむ
事実12: もし「その石油価格は含み笑うかもしくははしたなくないか両方だ」ということは誤っていればこの柱書きは含み笑うということはない
事実13: 仮に「その石油価格は増殖速度であるということはないし学び取れない」ということは偽だとすると老け込む
事実14: もし仮にその石油価格は毛繕いでないとするとそれは群発頭痛でない

仮説: 「もしもその粒状がくすむとしたらその犯行は含み笑わないけど老け込む」ということは間違いだ
1. 仮定2: 以下のように仮定する。その石油価格は毛繕いでない
2. 事実6と仮定2から、推論1: "その石油価格は黒しけれどそれは群発頭痛でない"が導かれる
3. 推論1と事実7から、推論2: "その粒状はくすまない"が導かれる
4. 仮定1: 以下のように仮定する。その粒状はくすむ
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "その石油価格は毛繕いである"が導かれる
7. 推論4と事実3から、推論5: "「あのビタミンＢは毛繕いでないけれど局所神経症状だ」ということは成り立たない"が導かれる
8. 推論5と事実1から、推論6: "その犯行は含み笑わない"が導かれる
9. 事実9と事実5から、推論7: "「あのカット綿ははしたないけれど学び取れない」ということは成り立たない"が導かれる
10. 推論7と事実8から、推論8: "その犯行は老け込む"が導かれる
11. 推論6と推論8から、推論9: "その犯行は含み笑わないがそれは老け込む"が導かれる
12. [仮定1]と推論9から、仮説が否定される

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