そのダイヤルパルスは見交わす
fact1: そのダイヤルパルスが解除出来ないならそれは出現し易い fact2: もしもそのダイヤルパルスが説き続けないならそれは調停する fact3: 答え難いということはない物は行き易いけれど擡げるということはない fact4: あのコップ一杯は覆土だということはないがしかし爆笑する fact5: 「そのダイヤルパルスは持ち難くない」ということは成り立つ fact6: もしそのダイヤルパルスはワゴンセールでないとしたら「説き続けるが浸からない」ということは間違いである fact7: もしもそのダイヤルパルスが調停するがしかし引き当てでないならばそれは持ち難くない fact8: そのダイヤルパルスは答え難いとしたら「あのコップ一杯は覆土でないがしかし爆笑する」ということは誤りだ fact9: 「もし仮に行き易いものが擡げないとすればそれはワゴンセールでない」ということは正しい fact10: もし仮になんらかの物が調停するとしたらそれは見交わす fact11: もしあの第二誘導は擡げるなら「「あのコップ一杯は答え難くないしかつそれは行き易いない」ということは成り立つ」ということは間違っている fact12: もし仮にそのダイヤルパルスは答え難いなら「「あのコップ一杯は覆土であるしそれに爆笑する」ということは嘘である」ということは事実である fact13: もしとある物は覆土だとすると「それは説き続ける」ということは正しい fact14: もしもなにかは擡げないとするとポリオだし加えてそれは発症しない fact15: あの研究組織が説き続けないならあの第二誘導は擡げるしさらにそれはワゴンセールだ fact16: もし仮に「そのダイヤルパルスは説き続けるけれど浸からない」ということは成り立たないならそれは調停する
void -> assump1: 以下のように仮定する。そのダイヤルパルスは答え難い; fact8 & assump1 -> int1: 「あのコップ一杯は覆土でないが爆笑する」ということは成り立たない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「そのダイヤルパルスは答え難くない」ということは確かだ; fact3 -> int4: もし「そのダイヤルパルスは答え難くない」ということは確かであるとすればそれは行き易いがしかし擡げない; int3 & int4 -> int5: そのダイヤルパルスは行き易いけれど擡げない; fact9 -> int6: もしもそのダイヤルパルスは行き易い一方で擡げないならワゴンセールでない; int5 & int6 -> int7: そのダイヤルパルスはワゴンセールでない; int7 & fact6 -> int8: 「そのダイヤルパルスは説き続けるけれど浸からない」ということは偽だ; int8 & fact16 -> int9: そのダイヤルパルスは調停する; fact10 -> int10: もし「そのダイヤルパルスは調停する」ということは成り立つとしたら見交わす; int9 & int10 -> hypothesis;
そのダイヤルパルスは見交わさない
$facts$ = fact1: そのダイヤルパルスが解除出来ないならそれは出現し易い fact2: もしもそのダイヤルパルスが説き続けないならそれは調停する fact3: 答え難いということはない物は行き易いけれど擡げるということはない fact4: あのコップ一杯は覆土だということはないがしかし爆笑する fact5: 「そのダイヤルパルスは持ち難くない」ということは成り立つ fact6: もしそのダイヤルパルスはワゴンセールでないとしたら「説き続けるが浸からない」ということは間違いである fact7: もしもそのダイヤルパルスが調停するがしかし引き当てでないならばそれは持ち難くない fact8: そのダイヤルパルスは答え難いとしたら「あのコップ一杯は覆土でないがしかし爆笑する」ということは誤りだ fact9: 「もし仮に行き易いものが擡げないとすればそれはワゴンセールでない」ということは正しい fact10: もし仮になんらかの物が調停するとしたらそれは見交わす fact11: もしあの第二誘導は擡げるなら「「あのコップ一杯は答え難くないしかつそれは行き易いない」ということは成り立つ」ということは間違っている fact12: もし仮にそのダイヤルパルスは答え難いなら「「あのコップ一杯は覆土であるしそれに爆笑する」ということは嘘である」ということは事実である fact13: もしとある物は覆土だとすると「それは説き続ける」ということは正しい fact14: もしもなにかは擡げないとするとポリオだし加えてそれは発症しない fact15: あの研究組織が説き続けないならあの第二誘導は擡げるしさらにそれはワゴンセールだ fact16: もし仮に「そのダイヤルパルスは説き続けるけれど浸からない」ということは成り立たないならそれは調停する ; $hypothesis$ = そのダイヤルパルスは見交わす ; $proof$ = 
void -> assump1: 以下のように仮定する。そのダイヤルパルスは答え難い; fact8 & assump1 -> int1: 「あのコップ一杯は覆土でないが爆笑する」ということは成り立たない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「そのダイヤルパルスは答え難くない」ということは確かだ; fact3 -> int4: もし「そのダイヤルパルスは答え難くない」ということは確かであるとすればそれは行き易いがしかし擡げない; int3 & int4 -> int5: そのダイヤルパルスは行き易いけれど擡げない; fact9 -> int6: もしもそのダイヤルパルスは行き易い一方で擡げないならワゴンセールでない; int5 & int6 -> int7: そのダイヤルパルスはワゴンセールでない; int7 & fact6 -> int8: 「そのダイヤルパルスは説き続けるけれど浸からない」ということは偽だ; int8 & fact16 -> int9: そのダイヤルパルスは調停する; fact10 -> int10: もし「そのダイヤルパルスは調停する」ということは成り立つとしたら見交わす; int9 & int10 -> hypothesis; __PROVED__
事実1: そのダイヤルパルスが解除出来ないならそれは出現し易い
事実2: もしもそのダイヤルパルスが説き続けないならそれは調停する
事実3: 答え難いということはない物は行き易いけれど擡げるということはない
事実4: あのコップ一杯は覆土だということはないがしかし爆笑する
事実5: 「そのダイヤルパルスは持ち難くない」ということは成り立つ
事実6: もしそのダイヤルパルスはワゴンセールでないとしたら「説き続けるが浸からない」ということは間違いである
事実7: もしもそのダイヤルパルスが調停するがしかし引き当てでないならばそれは持ち難くない
事実8: そのダイヤルパルスは答え難いとしたら「あのコップ一杯は覆土でないがしかし爆笑する」ということは誤りだ
事実9: 「もし仮に行き易いものが擡げないとすればそれはワゴンセールでない」ということは正しい
事実10: もし仮になんらかの物が調停するとしたらそれは見交わす
事実11: もしあの第二誘導は擡げるなら「「あのコップ一杯は答え難くないしかつそれは行き易いない」ということは成り立つ」ということは間違っている
事実12: もし仮にそのダイヤルパルスは答え難いなら「「あのコップ一杯は覆土であるしそれに爆笑する」ということは嘘である」ということは事実である
事実13: もしとある物は覆土だとすると「それは説き続ける」ということは正しい
事実14: もしもなにかは擡げないとするとポリオだし加えてそれは発症しない
事実15: あの研究組織が説き続けないならあの第二誘導は擡げるしさらにそれはワゴンセールだ
事実16: もし仮に「そのダイヤルパルスは説き続けるけれど浸からない」ということは成り立たないならそれは調停する

仮説: そのダイヤルパルスは見交わす
1. 仮定1: 以下のように仮定する。そのダイヤルパルスは答え難い
2. 事実8と仮定1から、推論1: "「あのコップ一杯は覆土でないが爆笑する」ということは成り立たない"が導かれる
3. 推論1と事実4から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「そのダイヤルパルスは答え難くない」ということは確かだ"が導かれる
5. 事実3から、推論4: "もし「そのダイヤルパルスは答え難くない」ということは確かであるとすればそれは行き易いがしかし擡げない"が導かれる
6. 推論3と推論4から、推論5: "そのダイヤルパルスは行き易いけれど擡げない"が導かれる
7. 事実9から、推論6: "もしもそのダイヤルパルスは行き易い一方で擡げないならワゴンセールでない"が導かれる
8. 推論5と推論6から、推論7: "そのダイヤルパルスはワゴンセールでない"が導かれる
9. 推論7と事実6から、推論8: "「そのダイヤルパルスは説き続けるけれど浸からない」ということは偽だ"が導かれる
10. 推論8と事実16から、推論9: "そのダイヤルパルスは調停する"が導かれる
11. 事実10から、推論10: "もし「そのダイヤルパルスは調停する」ということは成り立つとしたら見交わす"が導かれる
12. 推論9と推論10から、仮説が導かれる

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