その粗暴は誤り無いかあるいは灰色っぽい
fact1: 「ある物は弱々しかない」ということは偽であるということはないとすれば「それは誤り無いかそれは灰色っぽいか両方ともである」ということは成り立つということはない fact2: 誤り無いものは灰色っぽい fact3: 「その粗暴は誤り無い」ということは事実である fact4: それは遣り過ごすが批判的分析でないという物はない fact5: もし仮になにかは遣り過ごすということはないとするとそれは確りし為さるかあるいはそれは弱々しかないかまたは両方ともだ fact6: とある物は確りし為さるかあるいは弱々しかないかあるいは両方ともであるとするとそれは弱々しかない
fact3 -> hypothesis;
fact3 -> hypothesis;
「その粗暴は誤り無いかあるいは灰色っぽい」ということは誤りだ
fact10 -> int1: もし仮にその粗暴は弱々しかないとすれば「それは誤り無いかもしくはそれは灰色っぽいか両方ともだ」ということは本当でない; fact9 -> int2: もし仮に「その粗暴は確りし為さるかもしくは弱々しいということはないかあるいはどちらもである」ということは成り立つとするとそれは弱々しかない; fact7 -> int3: 「その粗暴は遣り過ごさない」ということは本当であるなら確りし為さるかもしくは弱々しかないかあるいはどちらもだ; fact8 -> int4: 「その部分グループは遣り過ごす一方でそれは批判的分析でない」ということは事実と異なる; int4 -> int5: 「「遣り過ごすしそれに批判的分析でない」ということは真実でない」ものはある;
$facts$ = fact1: 「ある物は弱々しかない」ということは偽であるということはないとすれば「それは誤り無いかそれは灰色っぽいか両方ともである」ということは成り立つということはない fact2: 誤り無いものは灰色っぽい fact3: 「その粗暴は誤り無い」ということは事実である fact4: それは遣り過ごすが批判的分析でないという物はない fact5: もし仮になにかは遣り過ごすということはないとするとそれは確りし為さるかあるいはそれは弱々しかないかまたは両方ともだ fact6: とある物は確りし為さるかあるいは弱々しかないかあるいは両方ともであるとするとそれは弱々しかない ; $hypothesis$ = その粗暴は誤り無いかあるいは灰色っぽい ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「ある物は弱々しかない」ということは偽であるということはないとすれば「それは誤り無いかそれは灰色っぽいか両方ともである」ということは成り立つということはない
事実2: 誤り無いものは灰色っぽい
事実3: 「その粗暴は誤り無い」ということは事実である
事実4: それは遣り過ごすが批判的分析でないという物はない
事実5: もし仮になにかは遣り過ごすということはないとするとそれは確りし為さるかあるいはそれは弱々しかないかまたは両方ともだ
事実6: とある物は確りし為さるかあるいは弱々しかないかあるいは両方ともであるとするとそれは弱々しかない

仮説: その粗暴は誤り無いかあるいは灰色っぽい
1. 事実3から、仮説が導かれる

よって、仮説が証明されました。