もしもこのコールサインが甚だしないならばこの粘度はでかいし更に乗り続ける
fact1: 「このコールサインはでかいけど戦闘隊形でない」ということは事実と異なる fact2: そのタイ系民族は強請らない一方で汚職塗れである fact3: このコールサインは掛け渡す fact4: この営農は甚だし fact5: もし仮に「この粘度はでかいけれど細菌性でない」ということは成り立つということはないとすれば乗り続ける fact6: もしもこの粘度は乗り続けないならば「このコールサインは細菌性であるが戦闘隊形でない」ということは成り立たない fact7: 「このコールサインは細菌性で戦闘隊形だ」ということは誤りである fact8: もしこのコールサインが甚だしならこの粘度はでかいしおまけに乗り続ける fact9: もし仮にこの粘度はでかいということはないとすれば「このコールサインは戦闘隊形であるしかつそれは乗り続ける」ということは真実でない fact10: 「この粘度は掃除し易い」ということは嘘だということはない fact11: もしもこのコールサインが戦闘隊形ならば甚だし fact12: もし仮に「その大阪企同連は人恋しいしすばしっこい」ということは成り立たないとすればそれは人恋しくない fact13: 「ある物が細菌性だけどそれは戦闘隊形でない」ということは成り立たないとすると甚だし fact14: もし仮にそのタイ系民族が強請らないがしかし汚職塗れだとしたら「このコールサインは汚職塗れでない」ということは事実である fact15: この粘度はでかい fact16: もし仮にこの粘度がでかくないし乗り続けないとするとその大阪企同連はでかい fact17: 戦闘隊形は甚だし fact18: もしもとある物がひ弱くないとするとそれは甚だしない fact19: 甚だしない物はでかくないし乗り続けない fact20: もしもこのコールサインは甚だしないとしたら「この粘度は戦闘隊形であるしでかい」ということは誤っている fact21: その大阪企同連が人恋しくないとするとそれは生産出来るししかも熱っぽい fact22: この粘度は甚だし
void -> assump2: 以下のように仮定する。この粘度は乗り続けない; fact6 & assump2 -> int1: 「「このコールサインは細菌性であるけどそれは戦闘隊形でない」ということは真実である」ということは成り立たない; fact13 -> int2: もし「このコールサインは細菌性であるが戦闘隊形でない」ということは成り立たないとすると「それは甚だし」ということは真実である; int1 & int2 -> int3: このコールサインは甚だし; void -> assump1: 以下のように仮定する。このコールサインは甚だしない; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: この粘度は乗り続ける; int5 & fact15 -> int6: この粘度はでかくて加えて乗り続ける; [assump1] & int6 -> hypothesis;
その大阪企同連はでかいし熱っぽい
fact27 -> int7: 仮に「この粘度は甚だしない」ということは成り立つとするとでかくないし乗り続けない; fact24 -> int8: 仮にこの粘度がひ弱くないなら甚だしない; fact26 & fact25 -> int9: このコールサインは汚職塗れでない; int9 -> int10: 「汚職塗れでない」ものはある;
$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 -> assump2: 以下のように仮定する。この粘度は乗り続けない; fact6 & assump2 -> int1: 「「このコールサインは細菌性であるけどそれは戦闘隊形でない」ということは真実である」ということは成り立たない; fact13 -> int2: もし「このコールサインは細菌性であるが戦闘隊形でない」ということは成り立たないとすると「それは甚だし」ということは真実である; int1 & int2 -> int3: このコールサインは甚だし; void -> assump1: 以下のように仮定する。このコールサインは甚だしない; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: この粘度は乗り続ける; int5 & fact15 -> int6: この粘度はでかくて加えて乗り続ける; [assump1] & int6 -> 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. 仮定2: 以下のように仮定する。この粘度は乗り続けない
2. 事実6と仮定2から、推論1: "「「このコールサインは細菌性であるけどそれは戦闘隊形でない」ということは真実である」ということは成り立たない"が導かれる
3. 事実13から、推論2: "もし「このコールサインは細菌性であるが戦闘隊形でない」ということは成り立たないとすると「それは甚だし」ということは真実である"が導かれる
4. 推論1と推論2から、推論3: "このコールサインは甚だし"が導かれる
5. 仮定1: 以下のように仮定する。このコールサインは甚だしない
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "この粘度は乗り続ける"が導かれる
8. 推論5と事実15から、推論6: "この粘度はでかくて加えて乗り続ける"が導かれる
9. [仮定1]と推論6から、仮説が導かれる

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