このほったらかしは厚い
fact1: もしも「そのさつま芋はくぐもらないかまたはそれは喀血しないかどちらもだ」ということは間違いであるとするとそれは炊き込まない fact2: もし仮にあの節税額が血清中だがしかし厚くないとすればこのほったらかしは厚い fact3: そのさつま芋は炊き込まないとしたら「この部族は温かくないしおまけに心許なくない」ということは誤りだ fact4: 仮にこのほったらかしは厚いなら「あの節税額はＨＯＳＴフィールドだということはないがそれは頼もしい」ということは間違いだ fact5: あの節税額がＨＯＳＴフィールドであるとすればその尋常小学唱歌は冷え易くない fact6: 仮にその二十章が腹ばえばその尋常小学唱歌は漏れ易い fact7: その二十章は血清中であるが頼もしくない fact8: その傍が街らしいとしたらこの部族は漏れ易いけれど薄ら寒くない fact9: 「そのさつま芋はくぐもらないかそれは喀血しないかもしくは両方である」ということは間違いである fact10: 仮に「「温かくないしそれに心許なくない」ということは事実と異なる」ものがあるならその傍は温かい fact11: そのさつま芋は腹ばうとしたら「「この部族は漏れ易いが薄ら寒くない」ということは事実でない」ということは真実である fact12: もしもその二十章が口汚いとしたらその傍は街らしい fact13: もしも街らしくないものが口汚いならばそれは冷え易くない fact14: 冷え易くない血清中は口汚い fact15: 仮に「あの節税額はＨＯＳＴフィールドであるということはない一方で頼もしい」ということは成り立つということはないならばその尋常小学唱歌は冷え易いということはない fact16: もし仮にその尋常小学唱歌が冷え易くないとしたらその二十章は血清中であるがしかしそれは冷え易いということはない fact17: 薄ら寒い物は街らしくないけど口汚い fact18: 仮に「その尋常小学唱歌は漏れ易い」ということは成り立つならばあの節税額は薄ら寒い fact19: 冷え易くない物は血清中である一方で厚くない fact20: 「そのさつま芋は腹ばう」ということは真実である fact21: もし仮に血清中が腹ばうということはないとしたらＨＯＳＴフィールドだ
void -> assump1: 以下のように仮定する。このほったらかしは厚い; fact4 & assump1 -> int1: 「あの節税額はＨＯＳＴフィールドであるということはないけれどそれは頼もしい」ということは成り立たない; int1 & fact15 -> int2: その尋常小学唱歌は冷え易くない; int2 & fact16 -> int3: その二十章は血清中だけれど冷え易くない; fact14 -> int4: もしもその二十章が血清中であるがそれが冷え易くないとすれば口汚い; int3 & int4 -> int5: 「その二十章は口汚い」ということは確かだ; int5 & fact12 -> int6: その傍は街らしい; int6 & fact8 -> int7: この部族は漏れ易いがしかしそれは薄ら寒くない; fact11 & fact20 -> int8: 「この部族は漏れ易いけれど薄ら寒いということはない」ということは誤っている; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
このほったらかしは厚い
fact31 -> int10: もしもあの節税額が冷え易くないとしたら血清中であるしそれに厚くない; fact24 -> int11: もしあの節税額が街らしくないけど口汚いとすればそれは冷え易くない; fact27 -> int12: もしもあの節税額は薄ら寒いとしたら「街らしくないしそれは口汚い」ということは成り立つ; fact30 & fact23 -> int13: そのさつま芋は炊き込まない; fact28 & int13 -> int14: 「この部族は温かくないし加えて心許なくない」ということは誤っている; int14 -> int15: 「「温かくなくて加えて心許なくない」ということは偽な」ものはある; int15 & fact29 -> int16: その傍は温かい; int16 -> int17: その傍は腹ばうか温かいかまたは両方だ; int17 -> int18: 「腹ばうか温かいかあるいは両方な」ものはある;
$facts$ = fact1: もしも「そのさつま芋はくぐもらないかまたはそれは喀血しないかどちらもだ」ということは間違いであるとするとそれは炊き込まない fact2: もし仮にあの節税額が血清中だがしかし厚くないとすればこのほったらかしは厚い fact3: そのさつま芋は炊き込まないとしたら「この部族は温かくないしおまけに心許なくない」ということは誤りだ fact4: 仮にこのほったらかしは厚いなら「あの節税額はＨＯＳＴフィールドだということはないがそれは頼もしい」ということは間違いだ fact5: あの節税額がＨＯＳＴフィールドであるとすればその尋常小学唱歌は冷え易くない fact6: 仮にその二十章が腹ばえばその尋常小学唱歌は漏れ易い fact7: その二十章は血清中であるが頼もしくない fact8: その傍が街らしいとしたらこの部族は漏れ易いけれど薄ら寒くない fact9: 「そのさつま芋はくぐもらないかそれは喀血しないかもしくは両方である」ということは間違いである fact10: 仮に「「温かくないしそれに心許なくない」ということは事実と異なる」ものがあるならその傍は温かい fact11: そのさつま芋は腹ばうとしたら「「この部族は漏れ易いが薄ら寒くない」ということは事実でない」ということは真実である fact12: もしもその二十章が口汚いとしたらその傍は街らしい fact13: もしも街らしくないものが口汚いならばそれは冷え易くない fact14: 冷え易くない血清中は口汚い fact15: 仮に「あの節税額はＨＯＳＴフィールドであるということはない一方で頼もしい」ということは成り立つということはないならばその尋常小学唱歌は冷え易いということはない fact16: もし仮にその尋常小学唱歌が冷え易くないとしたらその二十章は血清中であるがしかしそれは冷え易いということはない fact17: 薄ら寒い物は街らしくないけど口汚い fact18: 仮に「その尋常小学唱歌は漏れ易い」ということは成り立つならばあの節税額は薄ら寒い fact19: 冷え易くない物は血清中である一方で厚くない fact20: 「そのさつま芋は腹ばう」ということは真実である fact21: もし仮に血清中が腹ばうということはないとしたらＨＯＳＴフィールドだ ; $hypothesis$ = このほったらかしは厚い ; $proof$ = 
void -> assump1: 以下のように仮定する。このほったらかしは厚い; fact4 & assump1 -> int1: 「あの節税額はＨＯＳＴフィールドであるということはないけれどそれは頼もしい」ということは成り立たない; int1 & fact15 -> int2: その尋常小学唱歌は冷え易くない; int2 & fact16 -> int3: その二十章は血清中だけれど冷え易くない; fact14 -> int4: もしもその二十章が血清中であるがそれが冷え易くないとすれば口汚い; int3 & int4 -> int5: 「その二十章は口汚い」ということは確かだ; int5 & fact12 -> int6: その傍は街らしい; int6 & fact8 -> int7: この部族は漏れ易いがしかしそれは薄ら寒くない; fact11 & fact20 -> int8: 「この部族は漏れ易いけれど薄ら寒いということはない」ということは誤っている; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __DISPROVED__
事実1: もしも「そのさつま芋はくぐもらないかまたはそれは喀血しないかどちらもだ」ということは間違いであるとするとそれは炊き込まない
事実2: もし仮にあの節税額が血清中だがしかし厚くないとすればこのほったらかしは厚い
事実3: そのさつま芋は炊き込まないとしたら「この部族は温かくないしおまけに心許なくない」ということは誤りだ
事実4: 仮にこのほったらかしは厚いなら「あの節税額はＨＯＳＴフィールドだということはないがそれは頼もしい」ということは間違いだ
事実5: あの節税額がＨＯＳＴフィールドであるとすればその尋常小学唱歌は冷え易くない
事実6: 仮にその二十章が腹ばえばその尋常小学唱歌は漏れ易い
事実7: その二十章は血清中であるが頼もしくない
事実8: その傍が街らしいとしたらこの部族は漏れ易いけれど薄ら寒くない
事実9: 「そのさつま芋はくぐもらないかそれは喀血しないかもしくは両方である」ということは間違いである
事実10: 仮に「「温かくないしそれに心許なくない」ということは事実と異なる」ものがあるならその傍は温かい
事実11: そのさつま芋は腹ばうとしたら「「この部族は漏れ易いが薄ら寒くない」ということは事実でない」ということは真実である
事実12: もしもその二十章が口汚いとしたらその傍は街らしい
事実13: もしも街らしくないものが口汚いならばそれは冷え易くない
事実14: 冷え易くない血清中は口汚い
事実15: 仮に「あの節税額はＨＯＳＴフィールドであるということはない一方で頼もしい」ということは成り立つということはないならばその尋常小学唱歌は冷え易いということはない
事実16: もし仮にその尋常小学唱歌が冷え易くないとしたらその二十章は血清中であるがしかしそれは冷え易いということはない
事実17: 薄ら寒い物は街らしくないけど口汚い
事実18: 仮に「その尋常小学唱歌は漏れ易い」ということは成り立つならばあの節税額は薄ら寒い
事実19: 冷え易くない物は血清中である一方で厚くない
事実20: 「そのさつま芋は腹ばう」ということは真実である
事実21: もし仮に血清中が腹ばうということはないとしたらＨＯＳＴフィールドだ

仮説: このほったらかしは厚い
1. 仮定1: 以下のように仮定する。このほったらかしは厚い
2. 事実4と仮定1から、推論1: "「あの節税額はＨＯＳＴフィールドであるということはないけれどそれは頼もしい」ということは成り立たない"が導かれる
3. 推論1と事実15から、推論2: "その尋常小学唱歌は冷え易くない"が導かれる
4. 推論2と事実16から、推論3: "その二十章は血清中だけれど冷え易くない"が導かれる
5. 事実14から、推論4: "もしもその二十章が血清中であるがそれが冷え易くないとすれば口汚い"が導かれる
6. 推論3と推論4から、推論5: "「その二十章は口汚い」ということは確かだ"が導かれる
7. 推論5と事実12から、推論6: "その傍は街らしい"が導かれる
8. 推論6と事実8から、推論7: "この部族は漏れ易いがしかしそれは薄ら寒くない"が導かれる
9. 事実11と事実20から、推論8: "「この部族は漏れ易いけれど薄ら寒いということはない」ということは誤っている"が導かれる
10. 推論7と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が否定される

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