その脚気は完遂する
fact1: 何かは藁人形でないかまたは打ち難くないかまたはどちらもである fact2: 「逆照射するということはないかあるいは重み付けるということはないかまたは両方ともである」物があるとするとこの西側諸国は重み付けない fact3: ある物は特殊技でないが秘匿するとしたら訪問するということはない fact4: その脚気は援護する fact5: なんらかのものは逆照射しないかまたは重み付けないかまたは両方ともである fact6: この西側諸国は換地処分だ fact7: もし仮に「「この西側諸国は特殊技でないがしかし秘匿する」ということは成り立つ」ということは誤りならばそれは重み付ける fact8: なにがしかのものは換地処分でないけど重み付けるとするとそれは訪問する fact9: 仮にこの西側諸国は特殊技であるし更に秘匿するとすれば訪問しない fact10: もし「歩み掛けない」ものがあるとすればこの西側諸国は歩み掛けない fact11: 換地処分は完遂しない fact12: 仮に「この西側諸国は訪問しない」ということは事実だとするとその脚気は換地処分である fact13: あるものが訪問するとすれば肌寒くないかもしくはそれはとろくない
void -> assump1: 以下のように仮定する。「この西側諸国は特殊技でないが秘匿する」ということは成り立たない; fact7 & assump1 -> int1: この西側諸国は重み付ける; fact2 & fact5 -> int2: この西側諸国は重み付けない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この西側諸国は特殊技でない一方で秘匿する; fact3 -> int5: 仮にこの西側諸国は特殊技でないけど秘匿するとすればそれは訪問しない; int4 & int5 -> int6: この西側諸国は訪問しない; int6 & fact12 -> int7: その脚気は換地処分である; fact11 -> int8: もしその脚気が換地処分だとしたらそれは完遂するということはない; int7 & int8 -> hypothesis;
「肌寒くないかまたはとろくない」物はある
fact14 -> int9: もしこの西側諸国が訪問するなら肌寒くないかもしくはとろくないかもしくは両方だ; fact15 -> int10: もしこの西側諸国は換地処分でないが重み付けるなら訪問する;
$facts$ = fact1: 何かは藁人形でないかまたは打ち難くないかまたはどちらもである fact2: 「逆照射するということはないかあるいは重み付けるということはないかまたは両方ともである」物があるとするとこの西側諸国は重み付けない fact3: ある物は特殊技でないが秘匿するとしたら訪問するということはない fact4: その脚気は援護する fact5: なんらかのものは逆照射しないかまたは重み付けないかまたは両方ともである fact6: この西側諸国は換地処分だ fact7: もし仮に「「この西側諸国は特殊技でないがしかし秘匿する」ということは成り立つ」ということは誤りならばそれは重み付ける fact8: なにがしかのものは換地処分でないけど重み付けるとするとそれは訪問する fact9: 仮にこの西側諸国は特殊技であるし更に秘匿するとすれば訪問しない fact10: もし「歩み掛けない」ものがあるとすればこの西側諸国は歩み掛けない fact11: 換地処分は完遂しない fact12: 仮に「この西側諸国は訪問しない」ということは事実だとするとその脚気は換地処分である fact13: あるものが訪問するとすれば肌寒くないかもしくはそれはとろくない ; $hypothesis$ = その脚気は完遂する ; $proof$ = 
void -> assump1: 以下のように仮定する。「この西側諸国は特殊技でないが秘匿する」ということは成り立たない; fact7 & assump1 -> int1: この西側諸国は重み付ける; fact2 & fact5 -> int2: この西側諸国は重み付けない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この西側諸国は特殊技でない一方で秘匿する; fact3 -> int5: 仮にこの西側諸国は特殊技でないけど秘匿するとすればそれは訪問しない; int4 & int5 -> int6: この西側諸国は訪問しない; int6 & fact12 -> int7: その脚気は換地処分である; fact11 -> int8: もしその脚気が換地処分だとしたらそれは完遂するということはない; int7 & int8 -> hypothesis; __DISPROVED__
事実1: 何かは藁人形でないかまたは打ち難くないかまたはどちらもである
事実2: 「逆照射するということはないかあるいは重み付けるということはないかまたは両方ともである」物があるとするとこの西側諸国は重み付けない
事実3: ある物は特殊技でないが秘匿するとしたら訪問するということはない
事実4: その脚気は援護する
事実5: なんらかのものは逆照射しないかまたは重み付けないかまたは両方ともである
事実6: この西側諸国は換地処分だ
事実7: もし仮に「「この西側諸国は特殊技でないがしかし秘匿する」ということは成り立つ」ということは誤りならばそれは重み付ける
事実8: なにがしかのものは換地処分でないけど重み付けるとするとそれは訪問する
事実9: 仮にこの西側諸国は特殊技であるし更に秘匿するとすれば訪問しない
事実10: もし「歩み掛けない」ものがあるとすればこの西側諸国は歩み掛けない
事実11: 換地処分は完遂しない
事実12: 仮に「この西側諸国は訪問しない」ということは事実だとするとその脚気は換地処分である
事実13: あるものが訪問するとすれば肌寒くないかもしくはそれはとろくない

仮説: その脚気は完遂する
1. 仮定1: 以下のように仮定する。「この西側諸国は特殊技でないが秘匿する」ということは成り立たない
2. 事実7と仮定1から、推論1: "この西側諸国は重み付ける"が導かれる
3. 事実2と事実5から、推論2: "この西側諸国は重み付けない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この西側諸国は特殊技でない一方で秘匿する"が導かれる
6. 事実3から、推論5: "仮にこの西側諸国は特殊技でないけど秘匿するとすればそれは訪問しない"が導かれる
7. 推論4と推論5から、推論6: "この西側諸国は訪問しない"が導かれる
8. 推論6と事実12から、推論7: "その脚気は換地処分である"が導かれる
9. 事実11から、推論8: "もしその脚気が換地処分だとしたらそれは完遂するということはない"が導かれる
10. 推論7と推論8から、仮説が否定される

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