この通信講座は来着する
fact1: もしあの同章がハンド・ブレーキでないとすればこの通信講座はミッドウェー作戦でないけどそれは反比例する fact2: あの同章はハンド・ブレーキだ fact3: 仮にとあるものは惨めったらしくないなら「それは遅延するし汚れ易い」ということは成り立たない fact4: もし仮に何かは暑くないとしたら「蜂起する」ということは嘘でない fact5: もしこの通信講座がミッドウェー作戦でないがしかし反比例するとするとこの毎期は反比例する fact6: 「あの同章は反映され易い」ということは成り立つとすればその成体脊髄由来はハンド・ブレーキだ fact7: もしも「その成体脊髄由来は反映され易いけどハンド・ブレーキでない」ということは成り立たないならばあの同章は反比例しない fact8: もし「あの基礎工事は女性性器であるし闘争する」ということは嘘だとするとあの予測式は雷除けでない fact9: 「その大安寺は遅延するしそれは汚れ易い」ということは誤っていればこの合成波は汚れ易くない fact10: 「バニラアイスクリームである」物はある fact11: もし仮にこの通信講座が反比例するとするとそれは来着する fact12: 仮に何らかのものは蜂起するなら「反映され易いし加えてハンド・ブレーキでない」ということは嘘である fact13: 汚れ易くない物があるとするとその成体脊髄由来は蜂起しないがそれは暑い fact14: もし仮に「その地表付近は涼しかなくておまけに惨めったらしくない」ということは事実と異なるとすると「その大安寺は惨めったらしくない」ということは確かだ fact15: 仮に「とある物はミッドウェー作戦だし加えて来着する」ということは誤りであるとするとそれは来着しない fact16: もしあるものが反比例すればそれは反映され易い fact17: もしもあの予測式は雷除けであるということはないならば「その地表付近は涼しかなくてしかも惨めったらしくない」ということは間違っている fact18: その成体脊髄由来はハンド・ブレーキでない fact19: もし仮にこの通信講座が反比例しないならあの同章はミッドウェー作戦である fact20: もしもあの同章がミッドウェー作戦ならばそれは反映され易い fact21: もしも「この通信講座はミッドウェー作戦である」ということは正しいとしたら来着する fact22: 仮にある物はバニラアイスクリームなら「「あの基礎工事は女性性器であるし更に闘争する」ということは間違っている」ということは成り立つ
void -> assump1: 以下のように仮定する。この通信講座は反比例するということはない; fact19 & assump1 -> int1: あの同章はミッドウェー作戦である; int1 & fact20 -> int2: あの同章は反映され易い; int2 & fact6 -> int3: その成体脊髄由来はハンド・ブレーキだ; int3 & fact18 -> int4: これは矛盾である; [assump1] & int4 -> int5: この通信講座は反比例する; int5 & fact11 -> hypothesis;
この通信講座は来着しない
fact23 -> int6: もし仮に「「この通信講座はミッドウェー作戦であるし来着する」ということは事実と異なる」ということは事実ならそれは来着しない; fact25 -> int7: もしその成体脊髄由来は蜂起するとしたら「それは反映され易い一方でハンド・ブレーキであるということはない」ということは偽だ; fact26 -> int8: もしその成体脊髄由来が暑くないとしたら蜂起する;
$facts$ = fact1: もしあの同章がハンド・ブレーキでないとすればこの通信講座はミッドウェー作戦でないけどそれは反比例する fact2: あの同章はハンド・ブレーキだ fact3: 仮にとあるものは惨めったらしくないなら「それは遅延するし汚れ易い」ということは成り立たない fact4: もし仮に何かは暑くないとしたら「蜂起する」ということは嘘でない fact5: もしこの通信講座がミッドウェー作戦でないがしかし反比例するとするとこの毎期は反比例する fact6: 「あの同章は反映され易い」ということは成り立つとすればその成体脊髄由来はハンド・ブレーキだ fact7: もしも「その成体脊髄由来は反映され易いけどハンド・ブレーキでない」ということは成り立たないならばあの同章は反比例しない fact8: もし「あの基礎工事は女性性器であるし闘争する」ということは嘘だとするとあの予測式は雷除けでない fact9: 「その大安寺は遅延するしそれは汚れ易い」ということは誤っていればこの合成波は汚れ易くない fact10: 「バニラアイスクリームである」物はある fact11: もし仮にこの通信講座が反比例するとするとそれは来着する fact12: 仮に何らかのものは蜂起するなら「反映され易いし加えてハンド・ブレーキでない」ということは嘘である fact13: 汚れ易くない物があるとするとその成体脊髄由来は蜂起しないがそれは暑い fact14: もし仮に「その地表付近は涼しかなくておまけに惨めったらしくない」ということは事実と異なるとすると「その大安寺は惨めったらしくない」ということは確かだ fact15: 仮に「とある物はミッドウェー作戦だし加えて来着する」ということは誤りであるとするとそれは来着しない fact16: もしあるものが反比例すればそれは反映され易い fact17: もしもあの予測式は雷除けであるということはないならば「その地表付近は涼しかなくてしかも惨めったらしくない」ということは間違っている fact18: その成体脊髄由来はハンド・ブレーキでない fact19: もし仮にこの通信講座が反比例しないならあの同章はミッドウェー作戦である fact20: もしもあの同章がミッドウェー作戦ならばそれは反映され易い fact21: もしも「この通信講座はミッドウェー作戦である」ということは正しいとしたら来着する fact22: 仮にある物はバニラアイスクリームなら「「あの基礎工事は女性性器であるし更に闘争する」ということは間違っている」ということは成り立つ ; $hypothesis$ = この通信講座は来着する ; $proof$ = 
void -> assump1: 以下のように仮定する。この通信講座は反比例するということはない; fact19 & assump1 -> int1: あの同章はミッドウェー作戦である; int1 & fact20 -> int2: あの同章は反映され易い; int2 & fact6 -> int3: その成体脊髄由来はハンド・ブレーキだ; int3 & fact18 -> int4: これは矛盾である; [assump1] & int4 -> int5: この通信講座は反比例する; int5 & fact11 -> hypothesis; __PROVED__
事実1: もしあの同章がハンド・ブレーキでないとすればこの通信講座はミッドウェー作戦でないけどそれは反比例する
事実2: あの同章はハンド・ブレーキだ
事実3: 仮にとあるものは惨めったらしくないなら「それは遅延するし汚れ易い」ということは成り立たない
事実4: もし仮に何かは暑くないとしたら「蜂起する」ということは嘘でない
事実5: もしこの通信講座がミッドウェー作戦でないがしかし反比例するとするとこの毎期は反比例する
事実6: 「あの同章は反映され易い」ということは成り立つとすればその成体脊髄由来はハンド・ブレーキだ
事実7: もしも「その成体脊髄由来は反映され易いけどハンド・ブレーキでない」ということは成り立たないならばあの同章は反比例しない
事実8: もし「あの基礎工事は女性性器であるし闘争する」ということは嘘だとするとあの予測式は雷除けでない
事実9: 「その大安寺は遅延するしそれは汚れ易い」ということは誤っていればこの合成波は汚れ易くない
事実10: 「バニラアイスクリームである」物はある
事実11: もし仮にこの通信講座が反比例するとするとそれは来着する
事実12: 仮に何らかのものは蜂起するなら「反映され易いし加えてハンド・ブレーキでない」ということは嘘である
事実13: 汚れ易くない物があるとするとその成体脊髄由来は蜂起しないがそれは暑い
事実14: もし仮に「その地表付近は涼しかなくておまけに惨めったらしくない」ということは事実と異なるとすると「その大安寺は惨めったらしくない」ということは確かだ
事実15: 仮に「とある物はミッドウェー作戦だし加えて来着する」ということは誤りであるとするとそれは来着しない
事実16: もしあるものが反比例すればそれは反映され易い
事実17: もしもあの予測式は雷除けであるということはないならば「その地表付近は涼しかなくてしかも惨めったらしくない」ということは間違っている
事実18: その成体脊髄由来はハンド・ブレーキでない
事実19: もし仮にこの通信講座が反比例しないならあの同章はミッドウェー作戦である
事実20: もしもあの同章がミッドウェー作戦ならばそれは反映され易い
事実21: もしも「この通信講座はミッドウェー作戦である」ということは正しいとしたら来着する
事実22: 仮にある物はバニラアイスクリームなら「「あの基礎工事は女性性器であるし更に闘争する」ということは間違っている」ということは成り立つ

仮説: この通信講座は来着する
1. 仮定1: 以下のように仮定する。この通信講座は反比例するということはない
2. 事実19と仮定1から、推論1: "あの同章はミッドウェー作戦である"が導かれる
3. 推論1と事実20から、推論2: "あの同章は反映され易い"が導かれる
4. 推論2と事実6から、推論3: "その成体脊髄由来はハンド・ブレーキだ"が導かれる
5. 推論3と事実18から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この通信講座は反比例する"が導かれる
7. 推論5と事実11から、仮説が導かれる

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