あのＥＣ／ＥＵはラビ達でない
fact1: この脳性麻痺児は隆之達であるということはないがラビ達だ fact2: あのえいは特筆す fact3: 「あのＥＣ／ＥＵは優遇しないが生じ難い」ということは成り立つ fact4: なにかは優遇しないとしたらそれはちぎれ易くないけど特筆す fact5: 生じ難くない物はちぎれ易い fact6: もしちぎれ易くない物が特筆すとするとそれはラビ達だ fact7: あのＥＣ／ＥＵは野外博物館でないが無過失だ fact8: あのＥＣ／ＥＵは貨幣供給である
fact4 -> int1: 仮にあのＥＣ／ＥＵが優遇しないならそれはちぎれ易くないけれど特筆す; fact3 -> int2: あのＥＣ／ＥＵは優遇するということはない; int1 & int2 -> int3: あのＥＣ／ＥＵはちぎれ易いということはないがしかしそれは特筆す; fact6 -> int4: 仮にあのＥＣ／ＥＵはちぎれ易くないが特筆すとしたらそれはラビ達である; int3 & int4 -> hypothesis;
$facts$ = fact1: この脳性麻痺児は隆之達であるということはないがラビ達だ fact2: あのえいは特筆す fact3: 「あのＥＣ／ＥＵは優遇しないが生じ難い」ということは成り立つ fact4: なにかは優遇しないとしたらそれはちぎれ易くないけど特筆す fact5: 生じ難くない物はちぎれ易い fact6: もしちぎれ易くない物が特筆すとするとそれはラビ達だ fact7: あのＥＣ／ＥＵは野外博物館でないが無過失だ fact8: あのＥＣ／ＥＵは貨幣供給である ; $hypothesis$ = あのＥＣ／ＥＵはラビ達でない ; $proof$ = 
fact4 -> int1: 仮にあのＥＣ／ＥＵが優遇しないならそれはちぎれ易くないけれど特筆す; fact3 -> int2: あのＥＣ／ＥＵは優遇するということはない; int1 & int2 -> int3: あのＥＣ／ＥＵはちぎれ易いということはないがしかしそれは特筆す; fact6 -> int4: 仮にあのＥＣ／ＥＵはちぎれ易くないが特筆すとしたらそれはラビ達である; int3 & int4 -> hypothesis; __DISPROVED__
事実1: この脳性麻痺児は隆之達であるということはないがラビ達だ
事実2: あのえいは特筆す
事実3: 「あのＥＣ／ＥＵは優遇しないが生じ難い」ということは成り立つ
事実4: なにかは優遇しないとしたらそれはちぎれ易くないけど特筆す
事実5: 生じ難くない物はちぎれ易い
事実6: もしちぎれ易くない物が特筆すとするとそれはラビ達だ
事実7: あのＥＣ／ＥＵは野外博物館でないが無過失だ
事実8: あのＥＣ／ＥＵは貨幣供給である

仮説: あのＥＣ／ＥＵはラビ達でない
1. 事実4から、推論1: "仮にあのＥＣ／ＥＵが優遇しないならそれはちぎれ易くないけれど特筆す"が導かれる
2. 事実3から、推論2: "あのＥＣ／ＥＵは優遇するということはない"が導かれる
3. 推論1と推論2から、推論3: "あのＥＣ／ＥＵはちぎれ易いということはないがしかしそれは特筆す"が導かれる
4. 事実6から、推論4: "仮にあのＥＣ／ＥＵはちぎれ易くないが特筆すとしたらそれはラビ達である"が導かれる
5. 推論3と推論4から、仮説が否定される

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