その輸入者は違える
fact1: 「「その輸入者は倒立混合するということはなくて加えてそれは違えらない」ということは成り立つ」ということは事実でない fact2: その長距離は違えらない fact3: 仮にあのＯＲが見出だし難くないならばあの賃金は悪意・過失でない fact4: 「その輸入者は霊子線でない」ということは成り立つ fact5: この戦争レクイエムは違えらない fact6: 「その留守番は目撃出来る」ということは事実であるとしたらこの戦争レクイエムは御悪くなくて霊子線でない fact7: 「もしあのＯＲは見出だし難いなら「その長距離は目撃出来なくてコンパイルでない」ということは成り立たない」ということは事実と異ならない fact8: もしあのＯＲはコンパイルでないならば見出だし難くない fact9: あの賃金が捕まえ易いならばあのＯＲはコンパイルでなくて加えて違えらない fact10: もし「あの賃金は御悪くないがしかし霊子線だ」ということは事実なら「その長距離は目撃出来ない」ということは本当だ fact11: もしもあの二十四時間体制が目撃出来るとするとその留守番は目撃出来る fact12: あのＯＲは捕まえ易いけれど倒立混合するということはない fact13: この戦争レクイエムは倒立混合する fact14: もしも何かは見出だし難いということはないならば「悪意・過失でないし捕まえ易いということはない」ということは成り立たない fact15: もし御悪くないものが霊子線だということはないとしたらその長距離は見出だし難くない fact16: あのＯＲは捕まえ易い fact17: この戦争レクイエムは霊子線である fact18: もし仮に「あのＯＲはコンパイルでなくてそれは違えらない」ということは本当ならばあの輸入者は違えらない fact19: その競争上は倒立混合する fact20: もしもあのＯＲが捕まえ易くないとするとその輸入者は違える fact21: 「あのＯＲは捕まえ易いけどコンパイルでない」ということは嘘だとすればその輸入者は違える fact22: その長距離は頼り無さでない fact23: あの賃金が悪意・過失でないとすれば霊子線である fact24: もし「この戦争レクイエムは倒立混合する」ということは本当なら「その長距離は目撃出来なくてまたそれは頼り無さでない」ということは間違っている fact25: あの賃金は霊子線である fact26: もしあの賃金が倒立混合しないならこの戦争レクイエムは御悪くない fact27: 仮にあの賃金は悪意・過失であるということはないなら御悪くないがしかし霊子線である fact28: あのＯＲは目撃出来ない
void -> assump1: 以下のように仮定する。あのＯＲは捕まえ易い一方でそれはコンパイルでない; assump1 -> int1: あのＯＲはコンパイルでない; int1 & fact8 -> int2: あのＯＲは見出だし難くない; int2 & fact3 -> int3: あの賃金は悪意・過失でない; int3 & fact27 -> int4: あの賃金は御悪くない一方で霊子線だ; int4 & fact10 -> int5: その長距離は目撃出来ない; int5 & fact22 -> int6: その長距離は目撃出来るということはないし頼り無さでない; fact13 & fact24 -> int7: 「その長距離は目撃出来なくて頼り無さでない」ということは間違っている; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「「あのＯＲは捕まえ易いけどコンパイルでない」ということは誤っている」ということは成り立つ; int9 & fact21 -> hypothesis;
その輸入者は違えるということはない
fact34 -> int10: もしその長距離は見出だし難くないなら「それは悪意・過失でないししかも捕まえ易くない」ということは成り立たない;
$facts$ = fact1: 「「その輸入者は倒立混合するということはなくて加えてそれは違えらない」ということは成り立つ」ということは事実でない fact2: その長距離は違えらない fact3: 仮にあのＯＲが見出だし難くないならばあの賃金は悪意・過失でない fact4: 「その輸入者は霊子線でない」ということは成り立つ fact5: この戦争レクイエムは違えらない fact6: 「その留守番は目撃出来る」ということは事実であるとしたらこの戦争レクイエムは御悪くなくて霊子線でない fact7: 「もしあのＯＲは見出だし難いなら「その長距離は目撃出来なくてコンパイルでない」ということは成り立たない」ということは事実と異ならない fact8: もしあのＯＲはコンパイルでないならば見出だし難くない fact9: あの賃金が捕まえ易いならばあのＯＲはコンパイルでなくて加えて違えらない fact10: もし「あの賃金は御悪くないがしかし霊子線だ」ということは事実なら「その長距離は目撃出来ない」ということは本当だ fact11: もしもあの二十四時間体制が目撃出来るとするとその留守番は目撃出来る fact12: あのＯＲは捕まえ易いけれど倒立混合するということはない fact13: この戦争レクイエムは倒立混合する fact14: もしも何かは見出だし難いということはないならば「悪意・過失でないし捕まえ易いということはない」ということは成り立たない fact15: もし御悪くないものが霊子線だということはないとしたらその長距離は見出だし難くない fact16: あのＯＲは捕まえ易い fact17: この戦争レクイエムは霊子線である fact18: もし仮に「あのＯＲはコンパイルでなくてそれは違えらない」ということは本当ならばあの輸入者は違えらない fact19: その競争上は倒立混合する fact20: もしもあのＯＲが捕まえ易くないとするとその輸入者は違える fact21: 「あのＯＲは捕まえ易いけどコンパイルでない」ということは嘘だとすればその輸入者は違える fact22: その長距離は頼り無さでない fact23: あの賃金が悪意・過失でないとすれば霊子線である fact24: もし「この戦争レクイエムは倒立混合する」ということは本当なら「その長距離は目撃出来なくてまたそれは頼り無さでない」ということは間違っている fact25: あの賃金は霊子線である fact26: もしあの賃金が倒立混合しないならこの戦争レクイエムは御悪くない fact27: 仮にあの賃金は悪意・過失であるということはないなら御悪くないがしかし霊子線である fact28: あのＯＲは目撃出来ない ; $hypothesis$ = その輸入者は違える ; $proof$ = 
void -> assump1: 以下のように仮定する。あのＯＲは捕まえ易い一方でそれはコンパイルでない; assump1 -> int1: あのＯＲはコンパイルでない; int1 & fact8 -> int2: あのＯＲは見出だし難くない; int2 & fact3 -> int3: あの賃金は悪意・過失でない; int3 & fact27 -> int4: あの賃金は御悪くない一方で霊子線だ; int4 & fact10 -> int5: その長距離は目撃出来ない; int5 & fact22 -> int6: その長距離は目撃出来るということはないし頼り無さでない; fact13 & fact24 -> int7: 「その長距離は目撃出来なくて頼り無さでない」ということは間違っている; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「「あのＯＲは捕まえ易いけどコンパイルでない」ということは誤っている」ということは成り立つ; int9 & fact21 -> hypothesis; __PROVED__
事実1: 「「その輸入者は倒立混合するということはなくて加えてそれは違えらない」ということは成り立つ」ということは事実でない
事実2: その長距離は違えらない
事実3: 仮にあのＯＲが見出だし難くないならばあの賃金は悪意・過失でない
事実4: 「その輸入者は霊子線でない」ということは成り立つ
事実5: この戦争レクイエムは違えらない
事実6: 「その留守番は目撃出来る」ということは事実であるとしたらこの戦争レクイエムは御悪くなくて霊子線でない
事実7: 「もしあのＯＲは見出だし難いなら「その長距離は目撃出来なくてコンパイルでない」ということは成り立たない」ということは事実と異ならない
事実8: もしあのＯＲはコンパイルでないならば見出だし難くない
事実9: あの賃金が捕まえ易いならばあのＯＲはコンパイルでなくて加えて違えらない
事実10: もし「あの賃金は御悪くないがしかし霊子線だ」ということは事実なら「その長距離は目撃出来ない」ということは本当だ
事実11: もしもあの二十四時間体制が目撃出来るとするとその留守番は目撃出来る
事実12: あのＯＲは捕まえ易いけれど倒立混合するということはない
事実13: この戦争レクイエムは倒立混合する
事実14: もしも何かは見出だし難いということはないならば「悪意・過失でないし捕まえ易いということはない」ということは成り立たない
事実15: もし御悪くないものが霊子線だということはないとしたらその長距離は見出だし難くない
事実16: あのＯＲは捕まえ易い
事実17: この戦争レクイエムは霊子線である
事実18: もし仮に「あのＯＲはコンパイルでなくてそれは違えらない」ということは本当ならばあの輸入者は違えらない
事実19: その競争上は倒立混合する
事実20: もしもあのＯＲが捕まえ易くないとするとその輸入者は違える
事実21: 「あのＯＲは捕まえ易いけどコンパイルでない」ということは嘘だとすればその輸入者は違える
事実22: その長距離は頼り無さでない
事実23: あの賃金が悪意・過失でないとすれば霊子線である
事実24: もし「この戦争レクイエムは倒立混合する」ということは本当なら「その長距離は目撃出来なくてまたそれは頼り無さでない」ということは間違っている
事実25: あの賃金は霊子線である
事実26: もしあの賃金が倒立混合しないならこの戦争レクイエムは御悪くない
事実27: 仮にあの賃金は悪意・過失であるということはないなら御悪くないがしかし霊子線である
事実28: あのＯＲは目撃出来ない

仮説: その輸入者は違える
1. 仮定1: 以下のように仮定する。あのＯＲは捕まえ易い一方でそれはコンパイルでない
2. 仮定1から、推論1: "あのＯＲはコンパイルでない"が導かれる
3. 推論1と事実8から、推論2: "あのＯＲは見出だし難くない"が導かれる
4. 推論2と事実3から、推論3: "あの賃金は悪意・過失でない"が導かれる
5. 推論3と事実27から、推論4: "あの賃金は御悪くない一方で霊子線だ"が導かれる
6. 推論4と事実10から、推論5: "その長距離は目撃出来ない"が導かれる
7. 推論5と事実22から、推論6: "その長距離は目撃出来るということはないし頼り無さでない"が導かれる
8. 事実13と事実24から、推論7: "「その長距離は目撃出来なくて頼り無さでない」ということは間違っている"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "「「あのＯＲは捕まえ易いけどコンパイルでない」ということは誤っている」ということは成り立つ"が導かれる
11. 推論9と事実21から、仮説が導かれる

よって、仮説が証明されました。