「「もし起こし易くないとすれば三量体でない」物はある」ということは嘘だ
fact1: 「もしも起こし易いということはないならば「三量体である」ということは事実である」物はある fact2: 「もしも「起こし易い」ということは成り立てば三量体であるということはない」ものはある fact3: その問答が起こし易くないならばそれは属州でない fact4: ある物が起こし易いとしたらそれは三量体であるということはない fact5: 仮になにがしかの物が動じないとしたら等し fact6: 仮にその問答が起こし易くないとしたらそれは三量体である fact7: 起こし易いということはない物は三量体でない fact8: もしもなにがしかのものが起こし易いということはないとすれば三量体だ fact9: もし「その問答は起こし易い」ということは事実であるならそれは三量体でない fact10: 仮にその問答が動じないとすれば御守らない
fact7 -> int1: もしもその問答は起こし易くないなら「それは三量体でない」ということは確かである; int1 -> hypothesis;
$facts$ = fact1: 「もしも起こし易いということはないならば「三量体である」ということは事実である」物はある fact2: 「もしも「起こし易い」ということは成り立てば三量体であるということはない」ものはある fact3: その問答が起こし易くないならばそれは属州でない fact4: ある物が起こし易いとしたらそれは三量体であるということはない fact5: 仮になにがしかの物が動じないとしたら等し fact6: 仮にその問答が起こし易くないとしたらそれは三量体である fact7: 起こし易いということはない物は三量体でない fact8: もしもなにがしかのものが起こし易いということはないとすれば三量体だ fact9: もし「その問答は起こし易い」ということは事実であるならそれは三量体でない fact10: 仮にその問答が動じないとすれば御守らない ; $hypothesis$ = 「「もし起こし易くないとすれば三量体でない」物はある」ということは嘘だ ; $proof$ = 
fact7 -> int1: もしもその問答は起こし易くないなら「それは三量体でない」ということは確かである; int1 -> hypothesis; __DISPROVED__
事実1: 「もしも起こし易いということはないならば「三量体である」ということは事実である」物はある
事実2: 「もしも「起こし易い」ということは成り立てば三量体であるということはない」ものはある
事実3: その問答が起こし易くないならばそれは属州でない
事実4: ある物が起こし易いとしたらそれは三量体であるということはない
事実5: 仮になにがしかの物が動じないとしたら等し
事実6: 仮にその問答が起こし易くないとしたらそれは三量体である
事実7: 起こし易いということはない物は三量体でない
事実8: もしもなにがしかのものが起こし易いということはないとすれば三量体だ
事実9: もし「その問答は起こし易い」ということは事実であるならそれは三量体でない
事実10: 仮にその問答が動じないとすれば御守らない

仮説: 「「もし起こし易くないとすれば三量体でない」物はある」ということは嘘だ
1. 事実7から、推論1: "もしもその問答は起こし易くないなら「それは三量体でない」ということは確かである"が導かれる
2. 推論1から、仮説が否定される

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