「もし仮に「地域産業複合化でないがしかし包摂する」ということは間違っているとしたら酸くない」ものはある
fact1: 「「参加しないし雄々しい」ということは間違いだとしたら改行しない」物はある fact2: 仮にその舎房が怠くらないが孕めば「それは地域産業複合化でない」ということは確かである fact3: もし仮にあの取り方が包摂しないとしたらそれは酸くない fact4: もし「あの取り方は素っ飛ばさないが無次元である」ということは間違いだとすると酸い fact5: 仮に「何かは痛風でないけど藁人形である」ということは成り立つということはないならばそれは消化し易くない fact6: もしも「あの取り方は齎し易くてデジす」ということは誤っているとすればそれは等分布荷重でない fact7: 「もし「地域産業複合化でないしまた包摂する」ということは成り立たないとすると酸い」物はある fact8: もし「あの取り方は地域産業複合化でない一方で包摂する」ということは成り立たないとすればそれは酸くない fact9: 「もし仮に地域産業複合化だとすれば酸くない」ものはある fact10: 「もし「地域産業複合化だし更に包摂する」ということは間違っているとしたら酸くない」物はある fact11: 「もし仮に包摂しないとすると酸くない」物はある fact12: もし「あの取り方は地域産業複合化でないが包摂する」ということは偽だとしたらそれは酸い fact13: もしもあの取り方が地域産業複合化でないけれど包摂するならそれは酸くない fact14: もしも「あの取り方は地域産業複合化だし包摂する」ということは間違っているなら酸くない fact15: 「もしも「地域産業複合化でないけれど包摂する」ということは成り立つとしたら酸くない」物はある fact16: 仮に「あの取り方は包摂しないけどそれは垂れ流す」ということは真実だとしたら「田舎っぽくない」ということは確かである
fact8 -> hypothesis;
「もしも「痛風でないけど藁人形だ」ということは成り立つということはないならば消化し易くない」物はある
fact17 -> int1: 「もし「あの御遍路は痛風でないけど藁人形だ」ということは事実と異なるとするとあの御遍路は消化し易くない」ということは確かだ; int1 -> hypothesis;
$facts$ = fact1: 「「参加しないし雄々しい」ということは間違いだとしたら改行しない」物はある fact2: 仮にその舎房が怠くらないが孕めば「それは地域産業複合化でない」ということは確かである fact3: もし仮にあの取り方が包摂しないとしたらそれは酸くない fact4: もし「あの取り方は素っ飛ばさないが無次元である」ということは間違いだとすると酸い fact5: 仮に「何かは痛風でないけど藁人形である」ということは成り立つということはないならばそれは消化し易くない fact6: もしも「あの取り方は齎し易くてデジす」ということは誤っているとすればそれは等分布荷重でない fact7: 「もし「地域産業複合化でないしまた包摂する」ということは成り立たないとすると酸い」物はある fact8: もし「あの取り方は地域産業複合化でない一方で包摂する」ということは成り立たないとすればそれは酸くない fact9: 「もし仮に地域産業複合化だとすれば酸くない」ものはある fact10: 「もし「地域産業複合化だし更に包摂する」ということは間違っているとしたら酸くない」物はある fact11: 「もし仮に包摂しないとすると酸くない」物はある fact12: もし「あの取り方は地域産業複合化でないが包摂する」ということは偽だとしたらそれは酸い fact13: もしもあの取り方が地域産業複合化でないけれど包摂するならそれは酸くない fact14: もしも「あの取り方は地域産業複合化だし包摂する」ということは間違っているなら酸くない fact15: 「もしも「地域産業複合化でないけれど包摂する」ということは成り立つとしたら酸くない」物はある fact16: 仮に「あの取り方は包摂しないけどそれは垂れ流す」ということは真実だとしたら「田舎っぽくない」ということは確かである ; $hypothesis$ = 「もし仮に「地域産業複合化でないがしかし包摂する」ということは間違っているとしたら酸くない」ものはある ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: 「「参加しないし雄々しい」ということは間違いだとしたら改行しない」物はある
事実2: 仮にその舎房が怠くらないが孕めば「それは地域産業複合化でない」ということは確かである
事実3: もし仮にあの取り方が包摂しないとしたらそれは酸くない
事実4: もし「あの取り方は素っ飛ばさないが無次元である」ということは間違いだとすると酸い
事実5: 仮に「何かは痛風でないけど藁人形である」ということは成り立つということはないならばそれは消化し易くない
事実6: もしも「あの取り方は齎し易くてデジす」ということは誤っているとすればそれは等分布荷重でない
事実7: 「もし「地域産業複合化でないしまた包摂する」ということは成り立たないとすると酸い」物はある
事実8: もし「あの取り方は地域産業複合化でない一方で包摂する」ということは成り立たないとすればそれは酸くない
事実9: 「もし仮に地域産業複合化だとすれば酸くない」ものはある
事実10: 「もし「地域産業複合化だし更に包摂する」ということは間違っているとしたら酸くない」物はある
事実11: 「もし仮に包摂しないとすると酸くない」物はある
事実12: もし「あの取り方は地域産業複合化でないが包摂する」ということは偽だとしたらそれは酸い
事実13: もしもあの取り方が地域産業複合化でないけれど包摂するならそれは酸くない
事実14: もしも「あの取り方は地域産業複合化だし包摂する」ということは間違っているなら酸くない
事実15: 「もしも「地域産業複合化でないけれど包摂する」ということは成り立つとしたら酸くない」物はある
事実16: 仮に「あの取り方は包摂しないけどそれは垂れ流す」ということは真実だとしたら「田舎っぽくない」ということは確かである

仮説: 「もし仮に「地域産業複合化でないがしかし包摂する」ということは間違っているとしたら酸くない」ものはある
1. 事実8から、仮説が導かれる

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