「あの藁馬は表題作でなくて剥離し難いということはない」ということは誤っている
fact1: この幼虫は低脂肪で飲み難い fact2: もしも「感情移入であるかあるいは低脂肪であるかまたはどちらもな」ものがあるとするとこの交付決定は理解すらない fact3: もし仮になにがしかのものが理解すということはないならそれは懐っこいしその上待ち侘びる fact4: 日本人らしい物は煩わせる fact5: もしなにかは待ち侘びないならそれは表題作だということはない fact6: 仮に「あの藁馬は弁当店でなくて広まり始めない」ということは誤っているならこの交付決定は広まり始める fact7: もしも「あの周波数応答Ｈは煩わせる」ということは成り立つとすれば低脂肪であるということはない fact8: 仮にあの藁馬は表題作でないし剥離し難くないならばそれは理解すらない fact9: あの周波数応答Ｈは煩わせる fact10: あの藁馬は日本人らしいかもしくはそれは出発するか両方ともである fact11: もしあの周波数応答Ｈが低脂肪であるということはないならこの幼虫は感情移入だしかつ弁当店だ fact12: もしも何らかのものは待ち侘びないかまたは広まり始めるかまたは両方ともであるとしたらそれは弁当店でない fact13: もしもなんらかのものが出発するとすればそれは煩わせる fact14: あの藁馬が理解すらないならこの幼虫は待ち侘びないか広まり始めるかまたは両方ともである fact15: なにがしかの物は煩わせるとすれば「それは弁当店でなくて加えてそれは広まり始めない」ということは成り立たない fact16: 仮にこの幼虫は弁当店であるならばそれは剥離し難くない
void -> assump1: 以下のように仮定する。あの藁馬は表題作でなくて剥離し難くない; fact8 & assump1 -> int1: あの藁馬は理解すらない; int1 & fact14 -> int2: この幼虫は待ち侘びるということはないかもしくはそれは広まり始めるかあるいはどちらもだ; fact12 -> int3: もしもこの幼虫は待ち侘びるということはないかもしくは広まり始めるかもしくは両方ともであるならそれは弁当店だということはない; int2 & int3 -> int4: この幼虫は弁当店でない; fact7 & fact9 -> int5: あの周波数応答Ｈは低脂肪でない; fact11 & int5 -> int6: この幼虫は感情移入でそれにそれは弁当店だ; int6 -> int7: この幼虫は弁当店だ; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
あの藁馬は表題作でないしさらに剥離し難くない
fact17 -> int9: もしあの藁馬が待ち侘びないならばそれは表題作でない;
$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 & fact14 -> int2: この幼虫は待ち侘びるということはないかもしくはそれは広まり始めるかあるいはどちらもだ; fact12 -> int3: もしもこの幼虫は待ち侘びるということはないかもしくは広まり始めるかもしくは両方ともであるならそれは弁当店だということはない; int2 & int3 -> int4: この幼虫は弁当店でない; fact7 & fact9 -> int5: あの周波数応答Ｈは低脂肪でない; fact11 & int5 -> int6: この幼虫は感情移入でそれにそれは弁当店だ; int6 -> int7: この幼虫は弁当店だ; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> 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と事実14から、推論2: "この幼虫は待ち侘びるということはないかもしくはそれは広まり始めるかあるいはどちらもだ"が導かれる
4. 事実12から、推論3: "もしもこの幼虫は待ち侘びるということはないかもしくは広まり始めるかもしくは両方ともであるならそれは弁当店だということはない"が導かれる
5. 推論2と推論3から、推論4: "この幼虫は弁当店でない"が導かれる
6. 事実7と事実9から、推論5: "あの周波数応答Ｈは低脂肪でない"が導かれる
7. 事実11と推論5から、推論6: "この幼虫は感情移入でそれにそれは弁当店だ"が導かれる
8. 推論6から、推論7: "この幼虫は弁当店だ"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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