「この平行性はしんどくて拙い」ということは成り立つ
fact1: もしもあのネットワーク機器が成され易くておまけに実見するとすれば「あの木箱は成され易いということはない」ということは成り立つ fact2: もし仮にこの平行性は納豆でないならばそれはすーごくないしそれに惜しくない fact3: もしあのネットワーク機器は加入しないとすると「それはマージャン勉学堂で痛々しくない」ということは真実である fact4: このＰＧＲは惜しいということはない fact5: なにかは相互作用し合わないとしたら黙秘しないしその上宣伝部でない fact6: 強しないものは拙いししかも嵩む fact7: 全ての物は実見するしかつそれは落着する fact8: 仮にある物が甚だしくないかまたは受電するとすれば甚だしくない fact9: 仮にあの木箱が成され易くないとすればこの顆粒は甚だしくないかあるいは受電するかあるいは両方ともである fact10: この平行性は嵩む fact11: もしこの平行性はしんどかないとすれば「すーごくないしその上それは惜しくない」ということは成り立たない fact12: 「あのネットワーク機器は御着きに成るし加えて茘枝である」ということは成り立つということはない fact13: この平行性は納豆だということはない fact14: もしも「この総称は強しない」ということは本当であるとすればこの無感覚は嵩まない fact15: この平行性は強しない fact16: もしもこの顆粒が甚だしくないとしたらこの総称は納豆だけれど強しない fact17: マージャン勉学堂は成され易い fact18: 仮に「あのネットワーク機器は御着きに成るしそれは茘枝である」ということは誤っているとするとそれは加入するということはない
void -> assump1: 以下のように仮定する。この平行性はしんどかない; fact11 & assump1 -> int1: 「この平行性はすーごくないし惜しくない」ということは間違っている; fact13 & fact2 -> int2: この平行性はすーごくなくて更に惜しくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この平行性はしんどい; fact6 -> int5: もし「この平行性は強しない」ということは確かならば拙いししかもそれは嵩む; fact15 & int5 -> int6: この平行性は拙くて嵩む; int6 -> int7: この平行性は拙い; int4 & int7 -> hypothesis;
「この平行性はしんどいしおまけに拙い」ということは偽だ
fact24 -> int8: もし仮にこの顆粒が甚だしくないかそれが受電するなら甚だしくない; fact27 -> int9: 仮にあのネットワーク機器がマージャン勉学堂なら成され易い; fact19 & fact25 -> int10: 「あのネットワーク機器は加入しない」ということは確かである; fact22 & int10 -> int11: あのネットワーク機器はマージャン勉学堂であるけど痛々しいということはない; int11 -> int12: あのネットワーク機器はマージャン勉学堂である; int9 & int12 -> int13: あのネットワーク機器は成され易い; fact20 -> int14: あのネットワーク機器は実見するしまた落着する; int14 -> int15: あのネットワーク機器は実見する; int13 & int15 -> int16: あのネットワーク機器は成され易いし更に実見する; fact28 & int16 -> int17: あの木箱は成され易くない; fact21 & int17 -> int18: この顆粒は甚だしいということはないか受電するかあるいはどちらもだ; int8 & int18 -> int19: この顆粒は甚だしくない; fact26 & int19 -> int20: この総称は納豆だ一方で強しない; int20 -> int21: 「この総称は強しない」ということは成り立つ; fact23 & int21 -> int22: 「この無感覚は嵩まない」ということは成り立つ; int22 -> int23: 「嵩まない」物はある;
$facts$ = fact1: もしもあのネットワーク機器が成され易くておまけに実見するとすれば「あの木箱は成され易いということはない」ということは成り立つ fact2: もし仮にこの平行性は納豆でないならばそれはすーごくないしそれに惜しくない fact3: もしあのネットワーク機器は加入しないとすると「それはマージャン勉学堂で痛々しくない」ということは真実である fact4: このＰＧＲは惜しいということはない fact5: なにかは相互作用し合わないとしたら黙秘しないしその上宣伝部でない fact6: 強しないものは拙いししかも嵩む fact7: 全ての物は実見するしかつそれは落着する fact8: 仮にある物が甚だしくないかまたは受電するとすれば甚だしくない fact9: 仮にあの木箱が成され易くないとすればこの顆粒は甚だしくないかあるいは受電するかあるいは両方ともである fact10: この平行性は嵩む fact11: もしこの平行性はしんどかないとすれば「すーごくないしその上それは惜しくない」ということは成り立たない fact12: 「あのネットワーク機器は御着きに成るし加えて茘枝である」ということは成り立つということはない fact13: この平行性は納豆だということはない fact14: もしも「この総称は強しない」ということは本当であるとすればこの無感覚は嵩まない fact15: この平行性は強しない fact16: もしもこの顆粒が甚だしくないとしたらこの総称は納豆だけれど強しない fact17: マージャン勉学堂は成され易い fact18: 仮に「あのネットワーク機器は御着きに成るしそれは茘枝である」ということは誤っているとするとそれは加入するということはない ; $hypothesis$ = 「この平行性はしんどくて拙い」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。この平行性はしんどかない; fact11 & assump1 -> int1: 「この平行性はすーごくないし惜しくない」ということは間違っている; fact13 & fact2 -> int2: この平行性はすーごくなくて更に惜しくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この平行性はしんどい; fact6 -> int5: もし「この平行性は強しない」ということは確かならば拙いししかもそれは嵩む; fact15 & int5 -> int6: この平行性は拙くて嵩む; int6 -> int7: この平行性は拙い; int4 & int7 -> hypothesis; __PROVED__
事実1: もしもあのネットワーク機器が成され易くておまけに実見するとすれば「あの木箱は成され易いということはない」ということは成り立つ
事実2: もし仮にこの平行性は納豆でないならばそれはすーごくないしそれに惜しくない
事実3: もしあのネットワーク機器は加入しないとすると「それはマージャン勉学堂で痛々しくない」ということは真実である
事実4: このＰＧＲは惜しいということはない
事実5: なにかは相互作用し合わないとしたら黙秘しないしその上宣伝部でない
事実6: 強しないものは拙いししかも嵩む
事実7: 全ての物は実見するしかつそれは落着する
事実8: 仮にある物が甚だしくないかまたは受電するとすれば甚だしくない
事実9: 仮にあの木箱が成され易くないとすればこの顆粒は甚だしくないかあるいは受電するかあるいは両方ともである
事実10: この平行性は嵩む
事実11: もしこの平行性はしんどかないとすれば「すーごくないしその上それは惜しくない」ということは成り立たない
事実12: 「あのネットワーク機器は御着きに成るし加えて茘枝である」ということは成り立つということはない
事実13: この平行性は納豆だということはない
事実14: もしも「この総称は強しない」ということは本当であるとすればこの無感覚は嵩まない
事実15: この平行性は強しない
事実16: もしもこの顆粒が甚だしくないとしたらこの総称は納豆だけれど強しない
事実17: マージャン勉学堂は成され易い
事実18: 仮に「あのネットワーク機器は御着きに成るしそれは茘枝である」ということは誤っているとするとそれは加入するということはない

仮説: 「この平行性はしんどくて拙い」ということは成り立つ
1. 仮定1: 以下のように仮定する。この平行性はしんどかない
2. 事実11と仮定1から、推論1: "「この平行性はすーごくないし惜しくない」ということは間違っている"が導かれる
3. 事実13と事実2から、推論2: "この平行性はすーごくなくて更に惜しくない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この平行性はしんどい"が導かれる
6. 事実6から、推論5: "もし「この平行性は強しない」ということは確かならば拙いししかもそれは嵩む"が導かれる
7. 事実15と推論5から、推論6: "この平行性は拙くて嵩む"が導かれる
8. 推論6から、推論7: "この平行性は拙い"が導かれる
9. 推論4と推論7から、仮説が導かれる

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