この豊は早馬でない
fact1: なにがしかのものは配送処理である fact2: 「とある物は早馬でないがそれは入門する」ということは事実でないなら早馬である fact3: もしも「「配送処理である」ということは確かである」物はあるなら「あの葉は担えない」ということは嘘であるということはない fact4: もしなにかは配送処理だとしたらあの葉は心安くないし担えない fact5: あの葉は担えない fact6: もしもあの葉が心安くなくて加えてそれが担えないとすればこの豊は早馬だ fact7: 仮に「何かは配送処理でないけれど心安い」ということは成り立たないとするとそれは心安くない fact8: もしもなにかは担えるとしたら「配送処理でないし心安い」ということは間違っている fact9: もし仮にあの葉が早馬だがそれが心安いということはないとすればこの豊は早馬でない fact10: もしも「あの葉は纏まり易くない」ということは確かであるとしたら担えるし付き合える
fact1 & fact4 -> int1: あの葉は心安くないしまた担えない; int1 & fact6 -> hypothesis;
「この豊は早馬だということはない」ということは誤りだということはない
fact14 -> int2: もし仮に「あの葉は早馬でないが入門する」ということは成り立たないならそれは早馬である; fact13 -> int3: もし「あの葉は配送処理でないけれど心安い」ということは成り立たないなら心安くない; fact12 -> int4: もし仮に「あの葉は担える」ということは本当ならば「「配送処理でないけど心安い」ということは偽でない」ということは間違いである;
$facts$ = fact1: なにがしかのものは配送処理である fact2: 「とある物は早馬でないがそれは入門する」ということは事実でないなら早馬である fact3: もしも「「配送処理である」ということは確かである」物はあるなら「あの葉は担えない」ということは嘘であるということはない fact4: もしなにかは配送処理だとしたらあの葉は心安くないし担えない fact5: あの葉は担えない fact6: もしもあの葉が心安くなくて加えてそれが担えないとすればこの豊は早馬だ fact7: 仮に「何かは配送処理でないけれど心安い」ということは成り立たないとするとそれは心安くない fact8: もしもなにかは担えるとしたら「配送処理でないし心安い」ということは間違っている fact9: もし仮にあの葉が早馬だがそれが心安いということはないとすればこの豊は早馬でない fact10: もしも「あの葉は纏まり易くない」ということは確かであるとしたら担えるし付き合える ; $hypothesis$ = この豊は早馬でない ; $proof$ = 
fact1 & fact4 -> int1: あの葉は心安くないしまた担えない; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: なにがしかのものは配送処理である
事実2: 「とある物は早馬でないがそれは入門する」ということは事実でないなら早馬である
事実3: もしも「「配送処理である」ということは確かである」物はあるなら「あの葉は担えない」ということは嘘であるということはない
事実4: もしなにかは配送処理だとしたらあの葉は心安くないし担えない
事実5: あの葉は担えない
事実6: もしもあの葉が心安くなくて加えてそれが担えないとすればこの豊は早馬だ
事実7: 仮に「何かは配送処理でないけれど心安い」ということは成り立たないとするとそれは心安くない
事実8: もしもなにかは担えるとしたら「配送処理でないし心安い」ということは間違っている
事実9: もし仮にあの葉が早馬だがそれが心安いということはないとすればこの豊は早馬でない
事実10: もしも「あの葉は纏まり易くない」ということは確かであるとしたら担えるし付き合える

仮説: この豊は早馬でない
1. 事実1と事実4から、推論1: "あの葉は心安くないしまた担えない"が導かれる
2. 推論1と事実6から、仮説が否定される

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