「あの鼓室はべた付き易くないが語音である」ということは成り立たない
fact1: 仮に何かはストロークするとしたらそれは語音である fact2: あの金額は消え失せる fact3: もし仮に「「この幼稚園児は乳臭くない一方で行儀良い」ということは本当だ」ということは間違いであるとすればそれは行儀良いということはない fact4: あの金額は形成され易くないか滑り難い fact5: 「この幼稚園児は乳臭くないがそれは行儀良い」ということは間違っている fact6: もし仮に「何らかの物は破産するしさらに小躍りする」ということは成り立たないなら「それは限り無くない」ということは真実だ fact7: もしもあの掻爬がべた付き易いということはないならばそれは単独免疫療法でない fact8: あの金額は形成され易いかそれは滑り難いか両方である fact9: 仮にあの掻爬はべた付き易いとすると「あの鼓室はべた付き易くないがそれは語音である」ということは間違っている fact10: もしあの金額が形成され易くないかあるいは滑り難いかもしくは両方ともであるとすれば「国体でない」ということは本当である fact11: もしもあの掻爬が憎しならあの金額は国体である fact12: もし仮にある物は国体だとすれば「ストロークしないしさらにそれは単独免疫療法である」ということは間違っている fact13: もしあの掻爬が限り無くないとしたら憎しかあるいは堪り過ぎる fact14: もし何らかの物がべた付き易いとすると滑り難い fact15: あの金額はストロークするし消え失せる fact16: あの金額がストロークするがしかし国体でないとしたらこの幼稚園児は単独免疫療法である fact17: もし仮に「なにがしかのものはべた付き易いがしかしそれは消え失せらない」ということは嘘であるならそれはべた付き易いということはない fact18: あの金額は加工し易くない fact19: 「もしもなんらかのものは行儀良いとすればべた付き易い」ということは成り立つ fact20: もし仮にこの幼稚園児は行儀良くないとしたら「あの鼓室はべた付き易いが消え失せるということはない」ということは嘘である fact21: もしもこの幼稚園児が単独免疫療法ならばあの掻爬は行儀良い fact22: それは破産するしかつ小躍りするという物はない
fact10 & fact4 -> int1: あの金額は国体でない; fact15 -> int2: あの金額はストロークする; int1 & int2 -> int3: あの金額はストロークするけどそれは国体でない; int3 & fact16 -> int4: この幼稚園児は単独免疫療法である; int4 & fact21 -> int5: あの掻爬は行儀良い; fact19 -> int6: もしもあの掻爬が行儀良いとしたらそれはべた付き易い; int5 & int6 -> int7: あの掻爬はべた付き易い; int7 & fact9 -> hypothesis;
あの鼓室はべた付き易くないがしかし語音である
fact25 -> int8: 仮に「あの鼓室はべた付き易いがそれは消え失せらない」ということは成り立たないとすればそれはべた付き易くない; fact28 & fact31 -> int9: この幼稚園児は行儀良くない; fact32 & int9 -> int10: 「「あの鼓室はべた付き易いがしかし消え失せらない」ということは間違いである」ということは成り立つ; int8 & int10 -> int11: あの鼓室はべた付き易くない; fact26 -> int12: あの鼓室がストロークするとしたらそれは語音である; fact23 -> int13: あの金額は国体であるとすると「それはストロークするということはない一方で単独免疫療法だ」ということは成り立たない; fact29 -> int14: 仮に「あの掻爬は破産するし小躍りする」ということは真実でないならば限り無くない; fact27 -> int15: 「あの掻爬は破産するしかつ小躍りする」ということは嘘である; int14 & int15 -> int16: あの掻爬は限り無くない; fact30 & int16 -> int17: あの掻爬は憎しかまたはそれは堪り過ぎるかどちらもだ;
$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$ = 
fact10 & fact4 -> int1: あの金額は国体でない; fact15 -> int2: あの金額はストロークする; int1 & int2 -> int3: あの金額はストロークするけどそれは国体でない; int3 & fact16 -> int4: この幼稚園児は単独免疫療法である; int4 & fact21 -> int5: あの掻爬は行儀良い; fact19 -> int6: もしもあの掻爬が行儀良いとしたらそれはべた付き易い; int5 & int6 -> int7: あの掻爬はべた付き易い; int7 & fact9 -> hypothesis; __PROVED__
事実1: 仮に何かはストロークするとしたらそれは語音である
事実2: あの金額は消え失せる
事実3: もし仮に「「この幼稚園児は乳臭くない一方で行儀良い」ということは本当だ」ということは間違いであるとすればそれは行儀良いということはない
事実4: あの金額は形成され易くないか滑り難い
事実5: 「この幼稚園児は乳臭くないがそれは行儀良い」ということは間違っている
事実6: もし仮に「何らかの物は破産するしさらに小躍りする」ということは成り立たないなら「それは限り無くない」ということは真実だ
事実7: もしもあの掻爬がべた付き易いということはないならばそれは単独免疫療法でない
事実8: あの金額は形成され易いかそれは滑り難いか両方である
事実9: 仮にあの掻爬はべた付き易いとすると「あの鼓室はべた付き易くないがそれは語音である」ということは間違っている
事実10: もしあの金額が形成され易くないかあるいは滑り難いかもしくは両方ともであるとすれば「国体でない」ということは本当である
事実11: もしもあの掻爬が憎しならあの金額は国体である
事実12: もし仮にある物は国体だとすれば「ストロークしないしさらにそれは単独免疫療法である」ということは間違っている
事実13: もしあの掻爬が限り無くないとしたら憎しかあるいは堪り過ぎる
事実14: もし何らかの物がべた付き易いとすると滑り難い
事実15: あの金額はストロークするし消え失せる
事実16: あの金額がストロークするがしかし国体でないとしたらこの幼稚園児は単独免疫療法である
事実17: もし仮に「なにがしかのものはべた付き易いがしかしそれは消え失せらない」ということは嘘であるならそれはべた付き易いということはない
事実18: あの金額は加工し易くない
事実19: 「もしもなんらかのものは行儀良いとすればべた付き易い」ということは成り立つ
事実20: もし仮にこの幼稚園児は行儀良くないとしたら「あの鼓室はべた付き易いが消え失せるということはない」ということは嘘である
事実21: もしもこの幼稚園児が単独免疫療法ならばあの掻爬は行儀良い
事実22: それは破産するしかつ小躍りするという物はない

仮説: 「あの鼓室はべた付き易くないが語音である」ということは成り立たない
1. 事実10と事実4から、推論1: "あの金額は国体でない"が導かれる
2. 事実15から、推論2: "あの金額はストロークする"が導かれる
3. 推論1と推論2から、推論3: "あの金額はストロークするけどそれは国体でない"が導かれる
4. 推論3と事実16から、推論4: "この幼稚園児は単独免疫療法である"が導かれる
5. 推論4と事実21から、推論5: "あの掻爬は行儀良い"が導かれる
6. 事実19から、推論6: "もしもあの掻爬が行儀良いとしたらそれはべた付き易い"が導かれる
7. 推論5と推論6から、推論7: "あの掻爬はべた付き易い"が導かれる
8. 推論7と事実9から、仮説が導かれる

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