「その大火鉢は油っぽくない」ということは本当である
fact1: もしなんらかのものが臈たけるということはないとしたらそれは油っぽくない fact2: このビタミンＤは興ずる fact3: もし「あの母乳はアニメーション作家だが興ぜない」ということは成り立たないならばその大火鉢は基礎付けだ fact4: 仮にあの母乳は拭い難くないとすると「その正妻はアニメーション作家だがしかし臈たけらない」ということは誤っている fact5: もしも「あるものはアニメーション作家でないけど興ずる」ということは本当でないならば「それはでっかい」ということは確かである fact6: 仮にこのビタミンＤは物々しいならば「その正妻は煙たい一方で転変しない」ということは間違いである fact7: もしもあの母乳は基礎付けであるとすると「このビタミンＤはアニメーション作家でないが興ずる」ということは成り立たない fact8: 「その正妻は臈たける」ということは事実である fact9: 仮に何らかの物は油っぽくて物々しいとすればそれはアニメーション作家でない fact10: 仮にその正妻が臈たければ転変する fact11: 仮にその大火鉢が拭い難いとしたらそれは基礎付けだ fact12: あの母乳が拭い難いなら基礎付けである fact13: もし「その正妻は煙たくない一方でそれは拭い難い」ということは誤っているならそれは煙たい fact14: もしもその正妻が物々しかないとするとこのビタミンＤはでっかくない fact15: あの母乳は関与する fact16: 「その正妻は臈たけるがでっかくない」ということは成り立たないとしたらこのビタミンＤは拭い難い fact17: もしも何かは転変するしかつ煙たいなら物々しいということはない fact18: 基礎付けは油っぽい fact19: 「そのバストトップは臈たける」ということは事実である fact20: 「その正妻は煙たくないが拭い難い」ということは本当でない fact21: もしもこのビタミンＤはでっかくないなら「あの母乳はアニメーション作家であるが興ぜない」ということは真実でない fact22: その共産主義者達は煙たくて加えて軽ーい
fact10 & fact8 -> int1: その正妻は転変する; fact13 & fact20 -> int2: その正妻は煙たい; int1 & int2 -> int3: その正妻は転変するしかつ煙たい; fact17 -> int4: その正妻は転変するしそれに煙たいとすれば「それは物々しかない」ということは正しい; int3 & int4 -> int5: その正妻は物々しかない; int5 & fact14 -> int6: このビタミンＤはでっかくない; int6 & fact21 -> int7: 「あの母乳はアニメーション作家であるが興ぜない」ということは間違いである; int7 & fact3 -> int8: その大火鉢は基礎付けである; fact18 -> int9: その大火鉢は基礎付けであるとすると油っぽい; int8 & int9 -> hypothesis;
その大火鉢は油っぽいということはない
fact26 -> int10: 仮にその大火鉢が臈たけらないとすればそれは油っぽくない; fact25 -> int11: もし「このビタミンＤはアニメーション作家でないけど興ずる」ということは間違いであるならばそれはでっかい;
$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 & fact8 -> int1: その正妻は転変する; fact13 & fact20 -> int2: その正妻は煙たい; int1 & int2 -> int3: その正妻は転変するしかつ煙たい; fact17 -> int4: その正妻は転変するしそれに煙たいとすれば「それは物々しかない」ということは正しい; int3 & int4 -> int5: その正妻は物々しかない; int5 & fact14 -> int6: このビタミンＤはでっかくない; int6 & fact21 -> int7: 「あの母乳はアニメーション作家であるが興ぜない」ということは間違いである; int7 & fact3 -> int8: その大火鉢は基礎付けである; fact18 -> int9: その大火鉢は基礎付けであるとすると油っぽい; int8 & int9 -> 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. 事実10と事実8から、推論1: "その正妻は転変する"が導かれる
2. 事実13と事実20から、推論2: "その正妻は煙たい"が導かれる
3. 推論1と推論2から、推論3: "その正妻は転変するしかつ煙たい"が導かれる
4. 事実17から、推論4: "その正妻は転変するしそれに煙たいとすれば「それは物々しかない」ということは正しい"が導かれる
5. 推論3と推論4から、推論5: "その正妻は物々しかない"が導かれる
6. 推論5と事実14から、推論6: "このビタミンＤはでっかくない"が導かれる
7. 推論6と事実21から、推論7: "「あの母乳はアニメーション作家であるが興ぜない」ということは間違いである"が導かれる
8. 推論7と事実3から、推論8: "その大火鉢は基礎付けである"が導かれる
9. 事実18から、推論9: "その大火鉢は基礎付けであるとすると油っぽい"が導かれる
10. 推論8と推論9から、仮説が否定される

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