「「「迷い易くない」ということは成り立てば「確信めかない」ということは正しい」物はある」ということは間違っている
fact1: 迷い易い物は確信めかない fact2: 迷い易くない物は確信めく fact3: もしもこの千利休由緒書は確信めかないなら「入れ直さない」ということは正しい fact4: 「もし「迷い易い」ということは本当であるとしたら確信めくということはない」物はある fact5: 「もし迷い易くないとすれば確信めく」物はある fact6: もしなんらかのものが帰り着くということはないとすればそれは右肺でない fact7: もしなにがしかの物が心理療法家でないとすればそれは大規模災害時でない fact8: もしその二十日夜は大規模災害時でないとしたら迷い易くない fact9: もしもとある物が迷い易くないならば確信めくということはない fact10: 「もし七時半でないならば汚らわしくない」物はある fact11: 「もし仮に仰々しくないとすると地域開発でない」物はある fact12: 「もし生え揃わないとすれば「明細短冊でない」ということは真実な」物はある fact13: その拙速がちぎれ易くないとするとそれは迷い易くない fact14: もしこの千利休由緒書は操作し易くないならばそれは迷い易くない fact15: 仮にこの千利休由緒書が迷い易くないとするとそれは確信めく fact16: もしこの千利休由緒書はＮＡＴでないとしたらそれは確信めかない fact17: もしもこの千利休由緒書は確信めくということはないとすると「それは水垢離でない」ということは確かだ fact18: この千利休由緒書は迷い易いとすれば「それは確信めくということはない」ということは真実である
fact9 -> int1: この千利休由緒書が迷い易くないとすれば確信めかない; int1 -> hypothesis;
$facts$ = fact1: 迷い易い物は確信めかない fact2: 迷い易くない物は確信めく fact3: もしもこの千利休由緒書は確信めかないなら「入れ直さない」ということは正しい fact4: 「もし「迷い易い」ということは本当であるとしたら確信めくということはない」物はある fact5: 「もし迷い易くないとすれば確信めく」物はある fact6: もしなんらかのものが帰り着くということはないとすればそれは右肺でない fact7: もしなにがしかの物が心理療法家でないとすればそれは大規模災害時でない fact8: もしその二十日夜は大規模災害時でないとしたら迷い易くない fact9: もしもとある物が迷い易くないならば確信めくということはない fact10: 「もし七時半でないならば汚らわしくない」物はある fact11: 「もし仮に仰々しくないとすると地域開発でない」物はある fact12: 「もし生え揃わないとすれば「明細短冊でない」ということは真実な」物はある fact13: その拙速がちぎれ易くないとするとそれは迷い易くない fact14: もしこの千利休由緒書は操作し易くないならばそれは迷い易くない fact15: 仮にこの千利休由緒書が迷い易くないとするとそれは確信めく fact16: もしこの千利休由緒書はＮＡＴでないとしたらそれは確信めかない fact17: もしもこの千利休由緒書は確信めくということはないとすると「それは水垢離でない」ということは確かだ fact18: この千利休由緒書は迷い易いとすれば「それは確信めくということはない」ということは真実である ; $hypothesis$ = 「「「迷い易くない」ということは成り立てば「確信めかない」ということは正しい」物はある」ということは間違っている ; $proof$ = 
fact9 -> int1: この千利休由緒書が迷い易くないとすれば確信めかない; int1 -> hypothesis; __DISPROVED__
事実1: 迷い易い物は確信めかない
事実2: 迷い易くない物は確信めく
事実3: もしもこの千利休由緒書は確信めかないなら「入れ直さない」ということは正しい
事実4: 「もし「迷い易い」ということは本当であるとしたら確信めくということはない」物はある
事実5: 「もし迷い易くないとすれば確信めく」物はある
事実6: もしなんらかのものが帰り着くということはないとすればそれは右肺でない
事実7: もしなにがしかの物が心理療法家でないとすればそれは大規模災害時でない
事実8: もしその二十日夜は大規模災害時でないとしたら迷い易くない
事実9: もしもとある物が迷い易くないならば確信めくということはない
事実10: 「もし七時半でないならば汚らわしくない」物はある
事実11: 「もし仮に仰々しくないとすると地域開発でない」物はある
事実12: 「もし生え揃わないとすれば「明細短冊でない」ということは真実な」物はある
事実13: その拙速がちぎれ易くないとするとそれは迷い易くない
事実14: もしこの千利休由緒書は操作し易くないならばそれは迷い易くない
事実15: 仮にこの千利休由緒書が迷い易くないとするとそれは確信めく
事実16: もしこの千利休由緒書はＮＡＴでないとしたらそれは確信めかない
事実17: もしもこの千利休由緒書は確信めくということはないとすると「それは水垢離でない」ということは確かだ
事実18: この千利休由緒書は迷い易いとすれば「それは確信めくということはない」ということは真実である

仮説: 「「「迷い易くない」ということは成り立てば「確信めかない」ということは正しい」物はある」ということは間違っている
1. 事実9から、推論1: "この千利休由緒書が迷い易くないとすれば確信めかない"が導かれる
2. 推論1から、仮説が否定される

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