この養育放棄は敵中深いということはない
fact1: 「この大看板は見抜けるし立ち戻る」ということは成り立たない fact2: もし仮にとある物が下ろし易くないならばそれは勝ち残れないし敵中深いということはない fact3: 「「この大看板は見抜けるししかも立ち戻る」ということは誤りでない」ということは誤っているならそれは立ち戻らない fact4: もし仮にこの養育放棄が下ろし易いけど敵中深くないとすればこのドライフードは下ろし易い fact5: この養育放棄は勝ち残れるし加えてそれは下ろし易い fact6: もしもこの養育放棄が下ろし易いとしたら敵中深い
fact5 -> int1: この養育放棄は下ろし易い; int1 & fact6 -> hypothesis;
このドライフードは下ろし易い
fact8 & fact7 -> int2: 「この大看板は立ち戻らない」ということは事実だ; int2 -> int3: なんらかの物は立ち戻らない;
$facts$ = fact1: 「この大看板は見抜けるし立ち戻る」ということは成り立たない fact2: もし仮にとある物が下ろし易くないならばそれは勝ち残れないし敵中深いということはない fact3: 「「この大看板は見抜けるししかも立ち戻る」ということは誤りでない」ということは誤っているならそれは立ち戻らない fact4: もし仮にこの養育放棄が下ろし易いけど敵中深くないとすればこのドライフードは下ろし易い fact5: この養育放棄は勝ち残れるし加えてそれは下ろし易い fact6: もしもこの養育放棄が下ろし易いとしたら敵中深い ; $hypothesis$ = この養育放棄は敵中深いということはない ; $proof$ = 
fact5 -> int1: この養育放棄は下ろし易い; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: 「この大看板は見抜けるし立ち戻る」ということは成り立たない
事実2: もし仮にとある物が下ろし易くないならばそれは勝ち残れないし敵中深いということはない
事実3: 「「この大看板は見抜けるししかも立ち戻る」ということは誤りでない」ということは誤っているならそれは立ち戻らない
事実4: もし仮にこの養育放棄が下ろし易いけど敵中深くないとすればこのドライフードは下ろし易い
事実5: この養育放棄は勝ち残れるし加えてそれは下ろし易い
事実6: もしもこの養育放棄が下ろし易いとしたら敵中深い

仮説: この養育放棄は敵中深いということはない
1. 事実5から、推論1: "この養育放棄は下ろし易い"が導かれる
2. 推論1と事実6から、仮説が否定される

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