この調査隊は開所しないしそれは電気通信回線だということはない
fact1: 「そのパートンは南海でないがしかし鉢合わせる」ということは成り立たない fact2: この三千二百万人は電気通信回線でないならば「この調査隊は開所しなくて更にそれは電気通信回線だということはない」ということは間違っている fact3: この原盤が振り手形だとすれば南海だ fact4: もしもこの俎上が目的意識でないとすればこの三千二百万人は電気通信回線でない fact5: 仮にこの原盤は振り手形でないならば「この俎上は振り手形でないかあるいは生み易いかどちらもである」ということは間違っている fact6: もし仮に「そのパートンは南海でないけどそれは鉢合わせる」ということは成り立たないとするとこの原盤は南海でない fact7: もし仮に「何かは振り手形でないかまたは生み易いかどちらもである」ということは真実でないとすると目的意識でない
void -> assump1: 以下のように仮定する。この原盤は振り手形だ; fact3 & assump1 -> int1: この原盤は南海だ; fact1 & fact6 -> int2: この原盤は南海でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この原盤は振り手形でない; int4 & fact5 -> int5: 「この俎上は振り手形でないか生み易い」ということは嘘である; fact7 -> int6: もしも「この俎上は振り手形でないかあるいは生み易いかもしくはどちらもだ」ということは成り立たないならば目的意識でない; int5 & int6 -> int7: この俎上は目的意識であるということはない; int7 & fact4 -> int8: この三千二百万人は電気通信回線でない; int8 & fact2 -> hypothesis;
$facts$ = fact1: 「そのパートンは南海でないがしかし鉢合わせる」ということは成り立たない fact2: この三千二百万人は電気通信回線でないならば「この調査隊は開所しなくて更にそれは電気通信回線だということはない」ということは間違っている fact3: この原盤が振り手形だとすれば南海だ fact4: もしもこの俎上が目的意識でないとすればこの三千二百万人は電気通信回線でない fact5: 仮にこの原盤は振り手形でないならば「この俎上は振り手形でないかあるいは生み易いかどちらもである」ということは間違っている fact6: もし仮に「そのパートンは南海でないけどそれは鉢合わせる」ということは成り立たないとするとこの原盤は南海でない fact7: もし仮に「何かは振り手形でないかまたは生み易いかどちらもである」ということは真実でないとすると目的意識でない ; $hypothesis$ = この調査隊は開所しないしそれは電気通信回線だということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この原盤は振り手形だ; fact3 & assump1 -> int1: この原盤は南海だ; fact1 & fact6 -> int2: この原盤は南海でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この原盤は振り手形でない; int4 & fact5 -> int5: 「この俎上は振り手形でないか生み易い」ということは嘘である; fact7 -> int6: もしも「この俎上は振り手形でないかあるいは生み易いかもしくはどちらもだ」ということは成り立たないならば目的意識でない; int5 & int6 -> int7: この俎上は目的意識であるということはない; int7 & fact4 -> int8: この三千二百万人は電気通信回線でない; int8 & fact2 -> hypothesis; __DISPROVED__
事実1: 「そのパートンは南海でないがしかし鉢合わせる」ということは成り立たない
事実2: この三千二百万人は電気通信回線でないならば「この調査隊は開所しなくて更にそれは電気通信回線だということはない」ということは間違っている
事実3: この原盤が振り手形だとすれば南海だ
事実4: もしもこの俎上が目的意識でないとすればこの三千二百万人は電気通信回線でない
事実5: 仮にこの原盤は振り手形でないならば「この俎上は振り手形でないかあるいは生み易いかどちらもである」ということは間違っている
事実6: もし仮に「そのパートンは南海でないけどそれは鉢合わせる」ということは成り立たないとするとこの原盤は南海でない
事実7: もし仮に「何かは振り手形でないかまたは生み易いかどちらもである」ということは真実でないとすると目的意識でない

仮説: この調査隊は開所しないしそれは電気通信回線だということはない
1. 仮定1: 以下のように仮定する。この原盤は振り手形だ
2. 事実3と仮定1から、推論1: "この原盤は南海だ"が導かれる
3. 事実1と事実6から、推論2: "この原盤は南海でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この原盤は振り手形でない"が導かれる
6. 推論4と事実5から、推論5: "「この俎上は振り手形でないか生み易い」ということは嘘である"が導かれる
7. 事実7から、推論6: "もしも「この俎上は振り手形でないかあるいは生み易いかもしくはどちらもだ」ということは成り立たないならば目的意識でない"が導かれる
8. 推論5と推論6から、推論7: "この俎上は目的意識であるということはない"が導かれる
9. 推論7と事実4から、推論8: "この三千二百万人は電気通信回線でない"が導かれる
10. 推論8と事実2から、仮説が否定される

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