「「もし繊維質でないが根深いなら「併行しない」ということは真実な」ものはある」ということは嘘である
fact1: もしとあるものが五悪趣でないがしかしそれが流され易いとすればそれは歩めるない fact2: もしも繊維質が根深いとするとそれは併行するということはない fact3: もしもあの罹災者は繊維質でない一方で根深いとすれば併行する fact4: 「もしも繊維質だし根深いなら併行しない」物はある fact5: あの罹災者は外し易くない一方でべた付き易いとすると「それは繊維質でない」ということは成り立つ fact6: 仮に出難くない物が近しいとすると出来難くない fact7: 「繊維質でないけれど根深いならば併行する」物はある fact8: もしあの罹災者は繊維質であるし根深いとすれば「併行しない」ということは事実と異ならない fact9: もし仮にあの罹災者が軽ーくないけれど窒息するとすれば繊維質でない fact10: もしもあるものが繊維質でないがそれが根深いとすると併行しない fact11: あるものが迎撃しないがそれは払拭出来るとすれば「流され易くない」ということは成り立つ fact12: 仮にとある物は繊維質でない一方で根深いとすれば併行する fact13: 仮に寒しないものが転ずるとすれば迎撃するということはない
fact10 -> int1: 仮にあの罹災者は繊維質でないが根深いとすればそれは併行しない; int1 -> hypothesis;
$facts$ = fact1: もしとあるものが五悪趣でないがしかしそれが流され易いとすればそれは歩めるない fact2: もしも繊維質が根深いとするとそれは併行するということはない fact3: もしもあの罹災者は繊維質でない一方で根深いとすれば併行する fact4: 「もしも繊維質だし根深いなら併行しない」物はある fact5: あの罹災者は外し易くない一方でべた付き易いとすると「それは繊維質でない」ということは成り立つ fact6: 仮に出難くない物が近しいとすると出来難くない fact7: 「繊維質でないけれど根深いならば併行する」物はある fact8: もしあの罹災者は繊維質であるし根深いとすれば「併行しない」ということは事実と異ならない fact9: もし仮にあの罹災者が軽ーくないけれど窒息するとすれば繊維質でない fact10: もしもあるものが繊維質でないがそれが根深いとすると併行しない fact11: あるものが迎撃しないがそれは払拭出来るとすれば「流され易くない」ということは成り立つ fact12: 仮にとある物は繊維質でない一方で根深いとすれば併行する fact13: 仮に寒しないものが転ずるとすれば迎撃するということはない ; $hypothesis$ = 「「もし繊維質でないが根深いなら「併行しない」ということは真実な」ものはある」ということは嘘である ; $proof$ = 
fact10 -> int1: 仮にあの罹災者は繊維質でないが根深いとすればそれは併行しない; int1 -> hypothesis; __DISPROVED__
事実1: もしとあるものが五悪趣でないがしかしそれが流され易いとすればそれは歩めるない
事実2: もしも繊維質が根深いとするとそれは併行するということはない
事実3: もしもあの罹災者は繊維質でない一方で根深いとすれば併行する
事実4: 「もしも繊維質だし根深いなら併行しない」物はある
事実5: あの罹災者は外し易くない一方でべた付き易いとすると「それは繊維質でない」ということは成り立つ
事実6: 仮に出難くない物が近しいとすると出来難くない
事実7: 「繊維質でないけれど根深いならば併行する」物はある
事実8: もしあの罹災者は繊維質であるし根深いとすれば「併行しない」ということは事実と異ならない
事実9: もし仮にあの罹災者が軽ーくないけれど窒息するとすれば繊維質でない
事実10: もしもあるものが繊維質でないがそれが根深いとすると併行しない
事実11: あるものが迎撃しないがそれは払拭出来るとすれば「流され易くない」ということは成り立つ
事実12: 仮にとある物は繊維質でない一方で根深いとすれば併行する
事実13: 仮に寒しないものが転ずるとすれば迎撃するということはない

仮説: 「「もし繊維質でないが根深いなら「併行しない」ということは真実な」ものはある」ということは嘘である
1. 事実10から、推論1: "仮にあの罹災者は繊維質でないが根深いとすればそれは併行しない"が導かれる
2. 推論1から、仮説が否定される

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