この大食漢は定量化出来ない
fact1: 何らかの物は色っぽいけれど新しいということはない fact2: この大食漢は易し fact3: 「ルートだけれど発見し得ない」ものはある fact4: その非常識が通わさないとするとこの大食漢は定量化出来ないがそれは易し fact5: この大食漢は根気良い fact6: 仮に「何かはエアコン付けＷであるかあるいは命ずかまたはどちらもだ」ということは成り立つとすれば通わすということはない fact7: 易し物はある fact8: もしも「易しがしかし通わさない」物があればこの大食漢は定量化出来る fact9: もし仮にあの商業上がエアコン付けＷであるとすればその非常識はエアコン付けＷだ fact10: もしこのノーマライゼーションは収め忘れるとすれば「それは踏み消す」ということは成り立つ fact11: なにがしかのものは定量化出来ない fact12: もし仮に「「聞こえ難い」ということは真実な」物があるとするとこのノーマライゼーションは収め忘れる fact13: なにがしかの物は聞こえ難い fact14: なにがしかのものは褪せるしさらに遠い fact15: この大食漢は通わす fact16: なにかは易しがそれは通わすということはない fact17: 「易しし通わす」ものはある fact18: 何らかの物は巣くうがしかし群れ飛ぶということはない
fact16 & fact8 -> hypothesis;
fact16 & fact8 -> hypothesis;
この大食漢は定量化出来ない
fact23 -> int1: もしもその非常識がエアコン付けＷであるか命ずかまたは両方ともであるならばそれは通わさない; fact22 & fact24 -> int2: このノーマライゼーションは収め忘れる; fact21 & int2 -> int3: このノーマライゼーションは踏み消す; int3 -> int4: なんらかのものは踏み消す;
$facts$ = fact1: 何らかの物は色っぽいけれど新しいということはない fact2: この大食漢は易し fact3: 「ルートだけれど発見し得ない」ものはある fact4: その非常識が通わさないとするとこの大食漢は定量化出来ないがそれは易し fact5: この大食漢は根気良い fact6: 仮に「何かはエアコン付けＷであるかあるいは命ずかまたはどちらもだ」ということは成り立つとすれば通わすということはない fact7: 易し物はある fact8: もしも「易しがしかし通わさない」物があればこの大食漢は定量化出来る fact9: もし仮にあの商業上がエアコン付けＷであるとすればその非常識はエアコン付けＷだ fact10: もしこのノーマライゼーションは収め忘れるとすれば「それは踏み消す」ということは成り立つ fact11: なにがしかのものは定量化出来ない fact12: もし仮に「「聞こえ難い」ということは真実な」物があるとするとこのノーマライゼーションは収め忘れる fact13: なにがしかの物は聞こえ難い fact14: なにがしかのものは褪せるしさらに遠い fact15: この大食漢は通わす fact16: なにかは易しがそれは通わすということはない fact17: 「易しし通わす」ものはある fact18: 何らかの物は巣くうがしかし群れ飛ぶということはない ; $hypothesis$ = この大食漢は定量化出来ない ; $proof$ = 
fact16 & fact8 -> hypothesis; __DISPROVED__
事実1: 何らかの物は色っぽいけれど新しいということはない
事実2: この大食漢は易し
事実3: 「ルートだけれど発見し得ない」ものはある
事実4: その非常識が通わさないとするとこの大食漢は定量化出来ないがそれは易し
事実5: この大食漢は根気良い
事実6: 仮に「何かはエアコン付けＷであるかあるいは命ずかまたはどちらもだ」ということは成り立つとすれば通わすということはない
事実7: 易し物はある
事実8: もしも「易しがしかし通わさない」物があればこの大食漢は定量化出来る
事実9: もし仮にあの商業上がエアコン付けＷであるとすればその非常識はエアコン付けＷだ
事実10: もしこのノーマライゼーションは収め忘れるとすれば「それは踏み消す」ということは成り立つ
事実11: なにがしかのものは定量化出来ない
事実12: もし仮に「「聞こえ難い」ということは真実な」物があるとするとこのノーマライゼーションは収め忘れる
事実13: なにがしかの物は聞こえ難い
事実14: なにがしかのものは褪せるしさらに遠い
事実15: この大食漢は通わす
事実16: なにかは易しがそれは通わすということはない
事実17: 「易しし通わす」ものはある
事実18: 何らかの物は巣くうがしかし群れ飛ぶということはない

仮説: この大食漢は定量化出来ない
1. 事実16と事実8から、仮説が否定される

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