あのカナッペは運悪くない
fact1: 仮にとある物が乗り組めばそれは八対でない fact2: なにがしかのものはファクスするか気付き易くない fact3: 「その五号営業はファクスするかもしくは気付き易くない」ということは誤りだ fact4: 「「吹き飛ばす」ということは本当である」ものはある fact5: 「その五号営業はファクスしない」ということは本当だ fact6: 「ファクスしない」物はある fact7: 「「希うかあるいは壊滅するかどちらもである」ということは間違いな」物はある fact8: 何らかのものは気付き易い fact9: 「あのカナッペは八対でないとすると「あのカナッペは部落民でないがしかし運悪い」ということは成り立たない」ということは確かだ fact10: あのカナッペはファクスする fact11: もし「なにかは部落民でないけど運悪い」ということは間違いだとすれば運悪くない fact12: 仮に「「ファクスするか気付き易くない」ということは成り立たない」ものはあるとすると「あのカナッペは運悪い」ということは正しい
fact3 -> int1: 「「ファクスするかまたは気付き易くないかまたは両方ともだ」ということは間違っている」物はある; int1 & fact12 -> hypothesis;
fact3 -> int1: (Ex): ¬({AA}x v ¬{AB}x); int1 & fact12 -> hypothesis;
あのカナッペは運悪くない
fact15 -> int2: 仮に「あのカナッペは部落民でないがしかし運悪い」ということは成り立たないとすると運悪くない; fact14 -> int3: もし仮にあのカナッペが乗り組むとすれば八対でない;
$facts$ = fact1: 仮にとある物が乗り組めばそれは八対でない fact2: なにがしかのものはファクスするか気付き易くない fact3: 「その五号営業はファクスするかもしくは気付き易くない」ということは誤りだ fact4: 「「吹き飛ばす」ということは本当である」ものはある fact5: 「その五号営業はファクスしない」ということは本当だ fact6: 「ファクスしない」物はある fact7: 「「希うかあるいは壊滅するかどちらもである」ということは間違いな」物はある fact8: 何らかのものは気付き易い fact9: 「あのカナッペは八対でないとすると「あのカナッペは部落民でないがしかし運悪い」ということは成り立たない」ということは確かだ fact10: あのカナッペはファクスする fact11: もし「なにかは部落民でないけど運悪い」ということは間違いだとすれば運悪くない fact12: 仮に「「ファクスするか気付き易くない」ということは成り立たない」ものはあるとすると「あのカナッペは運悪い」ということは正しい ; $hypothesis$ = あのカナッペは運悪くない ; $proof$ = 
fact3 -> int1: 「「ファクスするかまたは気付き易くないかまたは両方ともだ」ということは間違っている」物はある; int1 & fact12 -> hypothesis; __DISPROVED__
事実1: 仮にとある物が乗り組めばそれは八対でない
事実2: なにがしかのものはファクスするか気付き易くない
事実3: 「その五号営業はファクスするかもしくは気付き易くない」ということは誤りだ
事実4: 「「吹き飛ばす」ということは本当である」ものはある
事実5: 「その五号営業はファクスしない」ということは本当だ
事実6: 「ファクスしない」物はある
事実7: 「「希うかあるいは壊滅するかどちらもである」ということは間違いな」物はある
事実8: 何らかのものは気付き易い
事実9: 「あのカナッペは八対でないとすると「あのカナッペは部落民でないがしかし運悪い」ということは成り立たない」ということは確かだ
事実10: あのカナッペはファクスする
事実11: もし「なにかは部落民でないけど運悪い」ということは間違いだとすれば運悪くない
事実12: 仮に「「ファクスするか気付き易くない」ということは成り立たない」ものはあるとすると「あのカナッペは運悪い」ということは正しい

仮説: あのカナッペは運悪くない
1. 事実3から、推論1: "「「ファクスするかまたは気付き易くないかまたは両方ともだ」ということは間違っている」物はある"が導かれる
2. 推論1と事実12から、仮説が否定される

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