「「もし仕らないとすれば「食べ尽くさないしかつ狙い打ちしない」ということは成り立たない」物はある」ということは成り立たない
fact1: 「もしも何らかの物は仕らないならば「食べ尽くすということはないしさらに狙い打ちしない」ということは誤っている」ということは事実と異ならない fact2: もしとある物は起こし難いということはないならば「狂乱しなくて更にそれは採用出来ない」ということは成り立つということはない fact3: もし仮になんらかの物は分離し易いとしたら「それは運悪くなくて出撃しない」ということは誤っている fact4: その八十五パーセント以上は思慮深くないとすると「仕らなくてそれはきつかない」ということは偽だ fact5: 「もし仮に仕らないとすれば「食べ尽くすけど狙い打ちしない」ということは偽である」物はある
fact1 -> int1: もし仮にこの伝送は仕らないなら「食べ尽くさないしそれにそれは狙い打ちしない」ということは誤りだ; int1 -> hypothesis;
「起こし難くないならば「狂乱するということはないしその上採用出来ない」ということは偽な」物はある
fact6 -> int2: もし仮にその計測器は起こし難くないなら「狂乱するということはないしその上採用出来ない」ということは偽だ; int2 -> hypothesis;
$facts$ = fact1: 「もしも何らかの物は仕らないならば「食べ尽くすということはないしさらに狙い打ちしない」ということは誤っている」ということは事実と異ならない fact2: もしとある物は起こし難いということはないならば「狂乱しなくて更にそれは採用出来ない」ということは成り立つということはない fact3: もし仮になんらかの物は分離し易いとしたら「それは運悪くなくて出撃しない」ということは誤っている fact4: その八十五パーセント以上は思慮深くないとすると「仕らなくてそれはきつかない」ということは偽だ fact5: 「もし仮に仕らないとすれば「食べ尽くすけど狙い打ちしない」ということは偽である」物はある ; $hypothesis$ = 「「もし仕らないとすれば「食べ尽くさないしかつ狙い打ちしない」ということは成り立たない」物はある」ということは成り立たない ; $proof$ = 
fact1 -> int1: もし仮にこの伝送は仕らないなら「食べ尽くさないしそれにそれは狙い打ちしない」ということは誤りだ; int1 -> hypothesis; __DISPROVED__
事実1: 「もしも何らかの物は仕らないならば「食べ尽くすということはないしさらに狙い打ちしない」ということは誤っている」ということは事実と異ならない
事実2: もしとある物は起こし難いということはないならば「狂乱しなくて更にそれは採用出来ない」ということは成り立つということはない
事実3: もし仮になんらかの物は分離し易いとしたら「それは運悪くなくて出撃しない」ということは誤っている
事実4: その八十五パーセント以上は思慮深くないとすると「仕らなくてそれはきつかない」ということは偽だ
事実5: 「もし仮に仕らないとすれば「食べ尽くすけど狙い打ちしない」ということは偽である」物はある

仮説: 「「もし仕らないとすれば「食べ尽くさないしかつ狙い打ちしない」ということは成り立たない」物はある」ということは成り立たない
1. 事実1から、推論1: "もし仮にこの伝送は仕らないなら「食べ尽くさないしそれにそれは狙い打ちしない」ということは誤りだ"が導かれる
2. 推論1から、仮説が否定される

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