その中等学校は四角くないしまた通り易くない
fact1: もしも言い易い物は精米歩合でないなら代替処理である fact2: 「その中等学校は四角くないがしかし通り易い」ということは成り立たない fact3: 仮にその中等学校は下回れば「四角い一方で通り易いということはない」ということは誤っている fact4: もし仮になにがしかのものが本断食であるということはないとすれば送致するかまたは比較し難い fact5: もし仮にある物は大人らしいとすれば「受け辛いがしかし末恐ろしくない」ということは間違いである fact6: もし仮に「むさくない」物はあるなら「あのオリゴマーは応募者でないが本断食だ」ということは間違いである fact7: その中等学校は言い易くてかつイラン・イラク戦争だ fact8: あのホンバンはむさくない fact9: もしなんらかのものが下回らないとしたら四角くないししかもそれは通り易くない fact10: もしあの代表者・役員・家族が代替処理だし下回るとするとその中等学校は下回らない fact11: 仮にこの炭取りがイラン・イラク戦争でないならば下回るし加えてそれは代替処理だ fact12: もしあの代表者・役員・家族が下回らないならその中等学校はイラン・イラク戦争でまた下回る fact13: あの代表者・役員・家族が下回るならこの拭いは言い易いけど精米歩合でない fact14: もし「あのオリゴマーは応募者であるということはないけれど本断食だ」ということは誤っているとすればそれは本断食でない fact15: この拭いは代替処理でない fact16: もしその中等学校は下回れば「四角くないし通り易くない」ということは本当でない fact17: もし仮になにがしかのものが送致するとすれば大人らしい fact18: もしも「「受け辛くておまけに末恐ろしくない」ということは間違いな」ものがあるとしたらこの拭いはイラン・イラク戦争であるということはない fact19: もしも何かは下回るとしたら「それはに因って行かないしかつそれは通り易くない」ということは確かでない fact20: この拭いは言い易いし精米歩合であるならばそれは代替処理である fact21: 「その中等学校は四角いがしかし通り易くない」ということは事実と異なる fact22: もし仮に何らかの物が比較し難いならばそれは大人らしい
void -> assump1: 以下のように仮定する。あの代表者・役員・家族は下回る; fact13 & assump1 -> int1: この拭いは言い易い一方で精米歩合であるということはない; fact1 -> int2: もしこの拭いが言い易いがしかしそれは精米歩合でないとしたら代替処理だ; int1 & int2 -> int3: この拭いは代替処理である; int3 & fact15 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの代表者・役員・家族は下回らない; int5 & fact12 -> int6: その中等学校はイラン・イラク戦争であるし下回る; int6 -> int7: その中等学校は下回る; int7 & fact16 -> hypothesis;
その中等学校は四角くないしまたそれは通り易くない
fact29 -> int8: もしも「その中等学校は下回らない」ということは事実ならば四角くないししかも通り易いということはない; fact25 -> int9: もしもあのオリゴマーは大人らしいとしたら「それは受け辛くてまた末恐ろしくない」ということは成り立たない; fact23 -> int10: もし仮にあのオリゴマーは本断食でないとすると送致するか比較し難いかもしくはどちらもである; fact28 -> int11: 「むさくない」ものはある; int11 & fact31 -> int12: 「あのオリゴマーは応募者であるということはないがしかし本断食である」ということは間違いである; fact32 & int12 -> int13: あのオリゴマーは本断食でない; int10 & int13 -> int14: 「あのオリゴマーは送致するか比較し難いかまたはどちらもである」ということは成り立つ; fact27 -> int15: もし仮にあのオリゴマーが送致すれば大人らしい; fact24 -> int16: 「仮にあのオリゴマーが比較し難いならあのオリゴマーは大人らしい」ということは真実である; int14 & int15 & int16 -> int17: あのオリゴマーは大人らしい; int9 & int17 -> int18: 「あのオリゴマーは受け辛いけどそれは末恐ろしくない」ということは成り立たない; int18 -> int19: 「「「受け辛いが末恐ろしいということはない」ということは本当だ」ということは成り立たない」ものはある; int19 & fact30 -> int20: この拭いはイラン・イラク戦争でない; int20 -> int21: 「「イラン・イラク戦争だということはない」ということは真実である」物はある;
$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: 以下のように仮定する。あの代表者・役員・家族は下回る; fact13 & assump1 -> int1: この拭いは言い易い一方で精米歩合であるということはない; fact1 -> int2: もしこの拭いが言い易いがしかしそれは精米歩合でないとしたら代替処理だ; int1 & int2 -> int3: この拭いは代替処理である; int3 & fact15 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの代表者・役員・家族は下回らない; int5 & fact12 -> int6: その中等学校はイラン・イラク戦争であるし下回る; int6 -> int7: その中等学校は下回る; int7 & fact16 -> hypothesis; __DISPROVED__
事実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. 事実13と仮定1から、推論1: "この拭いは言い易い一方で精米歩合であるということはない"が導かれる
3. 事実1から、推論2: "もしこの拭いが言い易いがしかしそれは精米歩合でないとしたら代替処理だ"が導かれる
4. 推論1と推論2から、推論3: "この拭いは代替処理である"が導かれる
5. 推論3と事実15から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの代表者・役員・家族は下回らない"が導かれる
7. 推論5と事実12から、推論6: "その中等学校はイラン・イラク戦争であるし下回る"が導かれる
8. 推論6から、推論7: "その中等学校は下回る"が導かれる
9. 推論7と事実16から、仮説が否定される

よって、仮説が否定されました。