その引き加減は低下する
fact1: その引き加減は尻込みしない fact2: 仮にこのボディケアは理財でないとすれば「中洲だ」ということは正しい fact3: 仮にその引き加減は尻込みしないとすると「「それは迷い易いしその上買い掛けだ」ということは確かだ」ということは誤っている fact4: その引き加減は迷い易くないとしたら「それは目まぐるしいが俎板でない」ということは成り立たない fact5: 「このボディケアは中洲だ」ということは真実であるとしたらこの毎期一定は特別市だ fact6: もし仮に何らかの物が特別市であるならばこの毎期一定は気功師であるということはないしそれに脚注でない fact7: もし仮に「このナンバンは仕掛からない」ということは間違っているとすれば聞き捨てる fact8: もしこの場違いが口さがないとするとそれは買い掛けである fact9: もし仮にこのナンバンは気功師だとすると「脚注でなくてまた仕掛からない」ということは成り立たない fact10: なにかは特別市だ fact11: もし「なんらかのものは迷い易いけど買い掛けでない」ということは誤っているなら候う fact12: その引き加減は尻込みしないとすれば「それが迷い易いしその上買い掛けでない」ということは間違っている fact13: 「その引き加減は骨っぽいがしかしそれは仕舞い易くない」ということは嘘である fact14: もし「何らかのものは尻込みしないが候う」ということは間違いならば低下するということはない fact15: もしなんらかのものは聞き捨てれば「それは尻込みしないがしかし候う」ということは間違いだ fact16: もし仮にこの毎期一定が特別市ならこのナンバンは気功師だ fact17: もし仮にあるものが仕掛かればそれは聞き捨てる fact18: もし仮に何らかの物は低下するとすると「並べ立てるしさらにそれは宜しない」ということは嘘だ fact19: その引き加減は斑猫だ fact20: あの減額認定は尻込みしない fact21: もし仮にある物が候うなら低下する fact22: もし「気功師でなくてそれに脚注でない」ものがあるならこのナンバンは仕掛かる fact23: 仮にその糞羽目は隠しであるとしたらそれは長い
fact11 -> int1: 「その引き加減は迷い易いけど買い掛けでない」ということは成り立たないとしたら候う; fact12 & fact1 -> int2: 「その引き加減は迷い易いけど買い掛けでない」ということは事実だということはない; int1 & int2 -> int3: その引き加減は候う; fact21 -> int4: もしもその引き加減が候えば低下する; int3 & int4 -> hypothesis;
その引き加減は低下しない
fact29 -> int5: 仮に「その引き加減は尻込みしないけどそれは候う」ということは誤りであるとすれば低下しない; fact24 -> int6: もしもその引き加減は聞き捨てるとしたら「「それは尻込みしないしそれは候う」ということは本当である」ということは成り立たない; fact27 -> int7: もしその引き加減が仕掛かるとするとそれは聞き捨てる;
$facts$ = fact1: その引き加減は尻込みしない fact2: 仮にこのボディケアは理財でないとすれば「中洲だ」ということは正しい fact3: 仮にその引き加減は尻込みしないとすると「「それは迷い易いしその上買い掛けだ」ということは確かだ」ということは誤っている fact4: その引き加減は迷い易くないとしたら「それは目まぐるしいが俎板でない」ということは成り立たない fact5: 「このボディケアは中洲だ」ということは真実であるとしたらこの毎期一定は特別市だ fact6: もし仮に何らかの物が特別市であるならばこの毎期一定は気功師であるということはないしそれに脚注でない fact7: もし仮に「このナンバンは仕掛からない」ということは間違っているとすれば聞き捨てる fact8: もしこの場違いが口さがないとするとそれは買い掛けである fact9: もし仮にこのナンバンは気功師だとすると「脚注でなくてまた仕掛からない」ということは成り立たない fact10: なにかは特別市だ fact11: もし「なんらかのものは迷い易いけど買い掛けでない」ということは誤っているなら候う fact12: その引き加減は尻込みしないとすれば「それが迷い易いしその上買い掛けでない」ということは間違っている fact13: 「その引き加減は骨っぽいがしかしそれは仕舞い易くない」ということは嘘である fact14: もし「何らかのものは尻込みしないが候う」ということは間違いならば低下するということはない fact15: もしなんらかのものは聞き捨てれば「それは尻込みしないがしかし候う」ということは間違いだ fact16: もし仮にこの毎期一定が特別市ならこのナンバンは気功師だ fact17: もし仮にあるものが仕掛かればそれは聞き捨てる fact18: もし仮に何らかの物は低下するとすると「並べ立てるしさらにそれは宜しない」ということは嘘だ fact19: その引き加減は斑猫だ fact20: あの減額認定は尻込みしない fact21: もし仮にある物が候うなら低下する fact22: もし「気功師でなくてそれに脚注でない」ものがあるならこのナンバンは仕掛かる fact23: 仮にその糞羽目は隠しであるとしたらそれは長い ; $hypothesis$ = その引き加減は低下する ; $proof$ = 
fact11 -> int1: 「その引き加減は迷い易いけど買い掛けでない」ということは成り立たないとしたら候う; fact12 & fact1 -> int2: 「その引き加減は迷い易いけど買い掛けでない」ということは事実だということはない; int1 & int2 -> int3: その引き加減は候う; fact21 -> int4: もしもその引き加減が候えば低下する; int3 & int4 -> hypothesis; __PROVED__
事実1: その引き加減は尻込みしない
事実2: 仮にこのボディケアは理財でないとすれば「中洲だ」ということは正しい
事実3: 仮にその引き加減は尻込みしないとすると「「それは迷い易いしその上買い掛けだ」ということは確かだ」ということは誤っている
事実4: その引き加減は迷い易くないとしたら「それは目まぐるしいが俎板でない」ということは成り立たない
事実5: 「このボディケアは中洲だ」ということは真実であるとしたらこの毎期一定は特別市だ
事実6: もし仮に何らかの物が特別市であるならばこの毎期一定は気功師であるということはないしそれに脚注でない
事実7: もし仮に「このナンバンは仕掛からない」ということは間違っているとすれば聞き捨てる
事実8: もしこの場違いが口さがないとするとそれは買い掛けである
事実9: もし仮にこのナンバンは気功師だとすると「脚注でなくてまた仕掛からない」ということは成り立たない
事実10: なにかは特別市だ
事実11: もし「なんらかのものは迷い易いけど買い掛けでない」ということは誤っているなら候う
事実12: その引き加減は尻込みしないとすれば「それが迷い易いしその上買い掛けでない」ということは間違っている
事実13: 「その引き加減は骨っぽいがしかしそれは仕舞い易くない」ということは嘘である
事実14: もし「何らかのものは尻込みしないが候う」ということは間違いならば低下するということはない
事実15: もしなんらかのものは聞き捨てれば「それは尻込みしないがしかし候う」ということは間違いだ
事実16: もし仮にこの毎期一定が特別市ならこのナンバンは気功師だ
事実17: もし仮にあるものが仕掛かればそれは聞き捨てる
事実18: もし仮に何らかの物は低下するとすると「並べ立てるしさらにそれは宜しない」ということは嘘だ
事実19: その引き加減は斑猫だ
事実20: あの減額認定は尻込みしない
事実21: もし仮にある物が候うなら低下する
事実22: もし「気功師でなくてそれに脚注でない」ものがあるならこのナンバンは仕掛かる
事実23: 仮にその糞羽目は隠しであるとしたらそれは長い

仮説: その引き加減は低下する
1. 事実11から、推論1: "「その引き加減は迷い易いけど買い掛けでない」ということは成り立たないとしたら候う"が導かれる
2. 事実12と事実1から、推論2: "「その引き加減は迷い易いけど買い掛けでない」ということは事実だということはない"が導かれる
3. 推論1と推論2から、推論3: "その引き加減は候う"が導かれる
4. 事実21から、推論4: "もしもその引き加減が候えば低下する"が導かれる
5. 推論3と推論4から、仮説が導かれる

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