「「仮に悪くないとすれば「誤り無いかもしくは行き難い」ということは成り立たない」ものはある」ということは誤りだ
fact1: 「もしも「悪くない」ということは本当だとすれば誤り無いかあるいは行き難い」ものはある fact2: 仮に「何らかのものは悪くない」ということは偽でないならばそれは行き難くない fact3: もし仮になんらかの物は名神であるとすると「それは認め難いかもしくは食えるか両方だ」ということは成り立たない fact4: もし仮にその雅文が悪いということはないとすればそれは誤り無いかまたは行き難いかあるいはどちらもである fact5: もしなにがしかのものは悪いとすると「「それは誤り無いかもしくはそれは行き難い」ということは確かである」ということは成り立つということはない fact6: 仮にとあるものが繋ぎ止めないとしたらそれは興醒めするということはない fact7: 「仮に悪いなら「誤り無いか行き難いかあるいは両方ともである」ということは成り立たない」物はある fact8: もしもなにかは悪くないとしたら「それは誤り無いか行き難い」ということは成り立たない fact9: 何かは札幌芝だとすると「それはメル友であるかもしくはそれは複雑性である」ということは事実でない fact10: もしもその雅文は悪くないとすると「それは行き難いということはない」ということは正しい fact11: 仮にその雅文が説明するということはないなら使い為さらない fact12: 「「もしも悪くないなら行き難くない」物はある」ということは正しい fact13: もしその雅文は悪いならば「誤り無いかもしくはそれは行き難いかまたはどちらもである」ということは成り立たない fact14: 「もし情報主体でないならば計測・計算しない」ものはある fact15: もし仮に何かは悪いということはないならばそれは誤り無いかまたはそれは行き難い
fact8 -> int1: もしもその雅文は悪くないとすると「それは誤り無いかまたはそれは行き難いかもしくはどちらもだ」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: 「もしも「悪くない」ということは本当だとすれば誤り無いかあるいは行き難い」ものはある fact2: 仮に「何らかのものは悪くない」ということは偽でないならばそれは行き難くない fact3: もし仮になんらかの物は名神であるとすると「それは認め難いかもしくは食えるか両方だ」ということは成り立たない fact4: もし仮にその雅文が悪いということはないとすればそれは誤り無いかまたは行き難いかあるいはどちらもである fact5: もしなにがしかのものは悪いとすると「「それは誤り無いかもしくはそれは行き難い」ということは確かである」ということは成り立つということはない fact6: 仮にとあるものが繋ぎ止めないとしたらそれは興醒めするということはない fact7: 「仮に悪いなら「誤り無いか行き難いかあるいは両方ともである」ということは成り立たない」物はある fact8: もしもなにかは悪くないとしたら「それは誤り無いか行き難い」ということは成り立たない fact9: 何かは札幌芝だとすると「それはメル友であるかもしくはそれは複雑性である」ということは事実でない fact10: もしもその雅文は悪くないとすると「それは行き難いということはない」ということは正しい fact11: 仮にその雅文が説明するということはないなら使い為さらない fact12: 「「もしも悪くないなら行き難くない」物はある」ということは正しい fact13: もしその雅文は悪いならば「誤り無いかもしくはそれは行き難いかまたはどちらもである」ということは成り立たない fact14: 「もし情報主体でないならば計測・計算しない」ものはある fact15: もし仮に何かは悪いということはないならばそれは誤り無いかまたはそれは行き難い ; $hypothesis$ = 「「仮に悪くないとすれば「誤り無いかもしくは行き難い」ということは成り立たない」ものはある」ということは誤りだ ; $proof$ = 
fact8 -> int1: もしもその雅文は悪くないとすると「それは誤り無いかまたはそれは行き難いかもしくはどちらもだ」ということは成り立たない; int1 -> hypothesis; __DISPROVED__
事実1: 「もしも「悪くない」ということは本当だとすれば誤り無いかあるいは行き難い」ものはある
事実2: 仮に「何らかのものは悪くない」ということは偽でないならばそれは行き難くない
事実3: もし仮になんらかの物は名神であるとすると「それは認め難いかもしくは食えるか両方だ」ということは成り立たない
事実4: もし仮にその雅文が悪いということはないとすればそれは誤り無いかまたは行き難いかあるいはどちらもである
事実5: もしなにがしかのものは悪いとすると「「それは誤り無いかもしくはそれは行き難い」ということは確かである」ということは成り立つということはない
事実6: 仮にとあるものが繋ぎ止めないとしたらそれは興醒めするということはない
事実7: 「仮に悪いなら「誤り無いか行き難いかあるいは両方ともである」ということは成り立たない」物はある
事実8: もしもなにかは悪くないとしたら「それは誤り無いか行き難い」ということは成り立たない
事実9: 何かは札幌芝だとすると「それはメル友であるかもしくはそれは複雑性である」ということは事実でない
事実10: もしもその雅文は悪くないとすると「それは行き難いということはない」ということは正しい
事実11: 仮にその雅文が説明するということはないなら使い為さらない
事実12: 「「もしも悪くないなら行き難くない」物はある」ということは正しい
事実13: もしその雅文は悪いならば「誤り無いかもしくはそれは行き難いかまたはどちらもである」ということは成り立たない
事実14: 「もし情報主体でないならば計測・計算しない」ものはある
事実15: もし仮に何かは悪いということはないならばそれは誤り無いかまたはそれは行き難い

仮説: 「「仮に悪くないとすれば「誤り無いかもしくは行き難い」ということは成り立たない」ものはある」ということは誤りだ
1. 事実8から、推論1: "もしもその雅文は悪くないとすると「それは誤り無いかまたはそれは行き難いかもしくはどちらもだ」ということは成り立たない"が導かれる
2. 推論1から、仮説が否定される

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