「その開架冊数は騙され易くないしそれは奥床しくない」ということは間違いだ
fact1: 「その天変は同名でないけど移ろい易い」ということは誤っている fact2: 由々しい物は送別でないかまたは麗々しくないかまたは両方ともだ fact3: 仮にあるものが懐こくないなら厚し fact4: 仮に「その天変は下り掛けなくて更に弱々しかない」ということは間違いであるとすればあの開架冊数は借り易い fact5: あの収益は厚し fact6: 仮にある物が送別でないかまたは麗々しくないかもしくは両方ともであるならその追い上げは懐こくない fact7: もし仮に「借り易い」ものがあればその忠誠は由々しくてそれに浮動である fact8: もし仮にその忠誠が厚しならばその開架冊数は騙され易くないしかつそれは奥床しくない fact9: その忠誠は厚し fact10: 「その天変は昇進しない」ということは確かであるとすると「下り掛けないし弱々しかない」ということは本当でない fact11: 「なんらかの物は同名であるということはないけど移ろい易い」ということは成り立たないとすれば昇進しない
fact8 & fact9 -> hypothesis;
fact8 & fact9 -> hypothesis;
その追い上げは厚し
fact13 -> int1: もし仮に「その追い上げは懐こくない」ということは真実だとすればそれは厚し; fact15 -> int2: もしもその忠誠が由々しいとしたらそれは送別でないかあるいは麗々しくないか両方である; fact12 -> int3: 「その天変は同名でない一方で移ろい易い」ということは間違っていれば昇進しない; int3 & fact16 -> int4: その天変は昇進しない; fact14 & int4 -> int5: 「その天変は下り掛けるということはなくて弱々しかない」ということは誤りだ; fact18 & int5 -> int6: その開架冊数は借り易い; int6 -> int7: 「借り易い」ものはある; int7 & fact19 -> int8: その忠誠は由々しいしそれは浮動だ; int8 -> int9: その忠誠は由々しい; int2 & int9 -> int10: その忠誠は送別でないか麗々しくないかどちらもである; int10 -> int11: 「送別であるということはないかあるいは麗々しくないかあるいはどちらもな」物はある; int11 & fact17 -> int12: その追い上げは懐こくない; int1 & int12 -> hypothesis;
$facts$ = fact1: 「その天変は同名でないけど移ろい易い」ということは誤っている fact2: 由々しい物は送別でないかまたは麗々しくないかまたは両方ともだ fact3: 仮にあるものが懐こくないなら厚し fact4: 仮に「その天変は下り掛けなくて更に弱々しかない」ということは間違いであるとすればあの開架冊数は借り易い fact5: あの収益は厚し fact6: 仮にある物が送別でないかまたは麗々しくないかもしくは両方ともであるならその追い上げは懐こくない fact7: もし仮に「借り易い」ものがあればその忠誠は由々しくてそれに浮動である fact8: もし仮にその忠誠が厚しならばその開架冊数は騙され易くないしかつそれは奥床しくない fact9: その忠誠は厚し fact10: 「その天変は昇進しない」ということは確かであるとすると「下り掛けないし弱々しかない」ということは本当でない fact11: 「なんらかの物は同名であるということはないけど移ろい易い」ということは成り立たないとすれば昇進しない ; $hypothesis$ = 「その開架冊数は騙され易くないしそれは奥床しくない」ということは間違いだ ; $proof$ = 
fact8 & fact9 -> hypothesis; __DISPROVED__
事実1: 「その天変は同名でないけど移ろい易い」ということは誤っている
事実2: 由々しい物は送別でないかまたは麗々しくないかまたは両方ともだ
事実3: 仮にあるものが懐こくないなら厚し
事実4: 仮に「その天変は下り掛けなくて更に弱々しかない」ということは間違いであるとすればあの開架冊数は借り易い
事実5: あの収益は厚し
事実6: 仮にある物が送別でないかまたは麗々しくないかもしくは両方ともであるならその追い上げは懐こくない
事実7: もし仮に「借り易い」ものがあればその忠誠は由々しくてそれに浮動である
事実8: もし仮にその忠誠が厚しならばその開架冊数は騙され易くないしかつそれは奥床しくない
事実9: その忠誠は厚し
事実10: 「その天変は昇進しない」ということは確かであるとすると「下り掛けないし弱々しかない」ということは本当でない
事実11: 「なんらかの物は同名であるということはないけど移ろい易い」ということは成り立たないとすれば昇進しない

仮説: 「その開架冊数は騙され易くないしそれは奥床しくない」ということは間違いだ
1. 事実8と事実9から、仮説が否定される

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