その下戸は小狡くない
fact1: もしもある物は作り易いなら「それは見切れないしいじらしくない」ということは誤りである fact2: あの十万以上は聞こえるかもしくはいじらしいかまたは両方だ fact3: もし仮にとある物が聞こえるなら相殺消去する fact4: 仮にあの十万以上がいじらしいならその下戸は聞こえる fact5: もし仮にあの十万以上が小狡くないが聞こえるとしたらこのフーリエ像はエングレスである fact6: その下戸が相殺消去すればそれは小狡い fact7: この腹筋は減税しない fact8: もしもあの十万以上が聞こえるとするとその下戸は聞こえる fact9: 仮に「あのラッキーゾーン上は見切れないし加えていじらしくない」ということは成り立たないならば「この二年近くはいじらしくない」ということは真実である fact10: もし仮にこの二年近くがいじらしいということはないとするとあの十万以上は小狡くない一方で聞こえる fact11: もしもこの腹筋が減税しないとすると静止するしそれにそれは汚れ易くない
fact3 -> int1: もしもその下戸は聞こえるとすれば「それは相殺消去する」ということは成り立つ; fact4 & fact8 & fact2 -> int2: その下戸は聞こえる; int1 & int2 -> int3: その下戸は相殺消去する; int3 & fact6 -> hypothesis;
このフーリエ像はエングレスであるか相殺消去するか両方だ
fact15 -> int4: もしも「あのラッキーゾーン上は作り易い」ということは成り立つとすれば「見切れないしかついじらしくない」ということは成り立たない; fact17 & fact13 -> int5: 「この腹筋は静止する一方で汚れ易くない」ということは事実だ; int5 -> int6: この腹筋は静止する; int6 -> int7: 「静止する」物はある;
$facts$ = fact1: もしもある物は作り易いなら「それは見切れないしいじらしくない」ということは誤りである fact2: あの十万以上は聞こえるかもしくはいじらしいかまたは両方だ fact3: もし仮にとある物が聞こえるなら相殺消去する fact4: 仮にあの十万以上がいじらしいならその下戸は聞こえる fact5: もし仮にあの十万以上が小狡くないが聞こえるとしたらこのフーリエ像はエングレスである fact6: その下戸が相殺消去すればそれは小狡い fact7: この腹筋は減税しない fact8: もしもあの十万以上が聞こえるとするとその下戸は聞こえる fact9: 仮に「あのラッキーゾーン上は見切れないし加えていじらしくない」ということは成り立たないならば「この二年近くはいじらしくない」ということは真実である fact10: もし仮にこの二年近くがいじらしいということはないとするとあの十万以上は小狡くない一方で聞こえる fact11: もしもこの腹筋が減税しないとすると静止するしそれにそれは汚れ易くない ; $hypothesis$ = その下戸は小狡くない ; $proof$ = 
fact3 -> int1: もしもその下戸は聞こえるとすれば「それは相殺消去する」ということは成り立つ; fact4 & fact8 & fact2 -> int2: その下戸は聞こえる; int1 & int2 -> int3: その下戸は相殺消去する; int3 & fact6 -> hypothesis; __DISPROVED__
事実1: もしもある物は作り易いなら「それは見切れないしいじらしくない」ということは誤りである
事実2: あの十万以上は聞こえるかもしくはいじらしいかまたは両方だ
事実3: もし仮にとある物が聞こえるなら相殺消去する
事実4: 仮にあの十万以上がいじらしいならその下戸は聞こえる
事実5: もし仮にあの十万以上が小狡くないが聞こえるとしたらこのフーリエ像はエングレスである
事実6: その下戸が相殺消去すればそれは小狡い
事実7: この腹筋は減税しない
事実8: もしもあの十万以上が聞こえるとするとその下戸は聞こえる
事実9: 仮に「あのラッキーゾーン上は見切れないし加えていじらしくない」ということは成り立たないならば「この二年近くはいじらしくない」ということは真実である
事実10: もし仮にこの二年近くがいじらしいということはないとするとあの十万以上は小狡くない一方で聞こえる
事実11: もしもこの腹筋が減税しないとすると静止するしそれにそれは汚れ易くない

仮説: その下戸は小狡くない
1. 事実3から、推論1: "もしもその下戸は聞こえるとすれば「それは相殺消去する」ということは成り立つ"が導かれる
2. 事実4と事実8と事実2から、推論2: "その下戸は聞こえる"が導かれる
3. 推論1と推論2から、推論3: "その下戸は相殺消去する"が導かれる
4. 推論3と事実6から、仮説が否定される

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