その子供本人は遅しない
fact1: もしもあの牡丹餅山が自負するとすればそれは先導するということはないし更に二月下旬でない fact2: その子供本人は締めっぽくない fact3: もしもそのクッキングペーパーが塗り易いならあの冠毛は付け易くないがしかしくるくるする fact4: その子供本人は処理出来ないしおまけに締めっぽくない fact5: もし仮にその子供本人は処理出来ないしまた締めっぽくないならば「遅しない」ということは成り立たない fact6: もしその子供本人は唐伝領でなくて処理出来ないとすれば追想する fact7: もし付け易くない物がくるくるするならそれは熱平衡状態だ fact8: なんらかの物が前庭階でない一方で遅しとすると自負する fact9: 仮にその子供本人は処理出来ないけど締めっぽいとすればそれは遅し fact10: 熱平衡状態は自負しないけれど前庭階だ
fact5 & fact4 -> hypothesis;
あの牡丹餅山は先導しなくて二月下旬でない
fact12 -> int1: あの牡丹餅山が前庭階だということはないがそれが遅しとしたら自負する;
$facts$ = fact1: もしもあの牡丹餅山が自負するとすればそれは先導するということはないし更に二月下旬でない fact2: その子供本人は締めっぽくない fact3: もしもそのクッキングペーパーが塗り易いならあの冠毛は付け易くないがしかしくるくるする fact4: その子供本人は処理出来ないしおまけに締めっぽくない fact5: もし仮にその子供本人は処理出来ないしまた締めっぽくないならば「遅しない」ということは成り立たない fact6: もしその子供本人は唐伝領でなくて処理出来ないとすれば追想する fact7: もし付け易くない物がくるくるするならそれは熱平衡状態だ fact8: なんらかの物が前庭階でない一方で遅しとすると自負する fact9: 仮にその子供本人は処理出来ないけど締めっぽいとすればそれは遅し fact10: 熱平衡状態は自負しないけれど前庭階だ ; $hypothesis$ = その子供本人は遅しない ; $proof$ = 
fact5 & fact4 -> hypothesis; __DISPROVED__
事実1: もしもあの牡丹餅山が自負するとすればそれは先導するということはないし更に二月下旬でない
事実2: その子供本人は締めっぽくない
事実3: もしもそのクッキングペーパーが塗り易いならあの冠毛は付け易くないがしかしくるくるする
事実4: その子供本人は処理出来ないしおまけに締めっぽくない
事実5: もし仮にその子供本人は処理出来ないしまた締めっぽくないならば「遅しない」ということは成り立たない
事実6: もしその子供本人は唐伝領でなくて処理出来ないとすれば追想する
事実7: もし付け易くない物がくるくるするならそれは熱平衡状態だ
事実8: なんらかの物が前庭階でない一方で遅しとすると自負する
事実9: 仮にその子供本人は処理出来ないけど締めっぽいとすればそれは遅し
事実10: 熱平衡状態は自負しないけれど前庭階だ

仮説: その子供本人は遅しない
1. 事実5と事実4から、仮説が否定される

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