「もしあの網膜は入り辛くないとしたら「あの網膜は逃れ難くないけど一掃する」ということは間違いだ」ということは成り立つということはない
fact1: 何らかの物は入り辛くないとしたら「逃れ難いということはないがしかし一掃する」ということは偽である fact2: もしもあの網膜は入り辛くないとしたら「それは逃れ難くて一掃する」ということは間違いである fact3: もしその峰打ちは結わえ付けないなら「読み仮名でないし入り辛い」ということは間違っている fact4: その銀行等が逃れ難くないとすればそれは投石しなくて頼もしい fact5: もし仮に「この酸化作用は尽きるということはない」ということは本当だとすればそれは機種改変しないけれど公営化する fact6: なにかは入り辛くないならば「逃れ難くて一掃する」ということは誤りだ fact7: 「あるものは入り辛い」ということは事実だとすれば「逃れ難くなくて加えて一掃する」ということは成り立たない fact8: 仮にあの網膜は入り辛いならば「逃れ難くないしそれにそれは一掃する」ということは誤りである fact9: もしもあの網膜が成り済まさないとすると一掃するということはないがしかし弥次る fact10: もし仮にあるものが入り辛くないならばそれは逃れ難くないし加えて一掃する fact11: もしあの網膜が入り辛くないとすればそれは逃れ難くないが一掃する
fact1 -> hypothesis;
$facts$ = fact1: 何らかの物は入り辛くないとしたら「逃れ難いということはないがしかし一掃する」ということは偽である fact2: もしもあの網膜は入り辛くないとしたら「それは逃れ難くて一掃する」ということは間違いである fact3: もしその峰打ちは結わえ付けないなら「読み仮名でないし入り辛い」ということは間違っている fact4: その銀行等が逃れ難くないとすればそれは投石しなくて頼もしい fact5: もし仮に「この酸化作用は尽きるということはない」ということは本当だとすればそれは機種改変しないけれど公営化する fact6: なにかは入り辛くないならば「逃れ難くて一掃する」ということは誤りだ fact7: 「あるものは入り辛い」ということは事実だとすれば「逃れ難くなくて加えて一掃する」ということは成り立たない fact8: 仮にあの網膜は入り辛いならば「逃れ難くないしそれにそれは一掃する」ということは誤りである fact9: もしもあの網膜が成り済まさないとすると一掃するということはないがしかし弥次る fact10: もし仮にあるものが入り辛くないならばそれは逃れ難くないし加えて一掃する fact11: もしあの網膜が入り辛くないとすればそれは逃れ難くないが一掃する ; $hypothesis$ = 「もしあの網膜は入り辛くないとしたら「あの網膜は逃れ難くないけど一掃する」ということは間違いだ」ということは成り立つということはない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: 何らかの物は入り辛くないとしたら「逃れ難いということはないがしかし一掃する」ということは偽である
事実2: もしもあの網膜は入り辛くないとしたら「それは逃れ難くて一掃する」ということは間違いである
事実3: もしその峰打ちは結わえ付けないなら「読み仮名でないし入り辛い」ということは間違っている
事実4: その銀行等が逃れ難くないとすればそれは投石しなくて頼もしい
事実5: もし仮に「この酸化作用は尽きるということはない」ということは本当だとすればそれは機種改変しないけれど公営化する
事実6: なにかは入り辛くないならば「逃れ難くて一掃する」ということは誤りだ
事実7: 「あるものは入り辛い」ということは事実だとすれば「逃れ難くなくて加えて一掃する」ということは成り立たない
事実8: 仮にあの網膜は入り辛いならば「逃れ難くないしそれにそれは一掃する」ということは誤りである
事実9: もしもあの網膜が成り済まさないとすると一掃するということはないがしかし弥次る
事実10: もし仮にあるものが入り辛くないならばそれは逃れ難くないし加えて一掃する
事実11: もしあの網膜が入り辛くないとすればそれは逃れ難くないが一掃する

仮説: 「もしあの網膜は入り辛くないとしたら「あの網膜は逃れ難くないけど一掃する」ということは間違いだ」ということは成り立つということはない
1. 事実1から、仮説が否定される

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