「あの枝打ちは見劣りであるか有効期限でない」ということは間違っている
fact1: もしもなんらかの物が上昇し易いならば御兄さんだ fact2: もしあの枝打ちが三姉妹であるならこの泉質他は上昇し易い fact3: この旗振り役は有効期限であるか強烈過ぎるということはないか両方である fact4: 「「その祇園精舎は消化吸収され易くてそれは消化し難い」ということは成り立つ」ということは誤りである fact5: 「あの枝打ちは御兄さんだということはない」ということは成り立つ fact6: あの枝打ちは御兄さんであるかまたはそれは七段階だということはないか両方だ fact7: あの枝打ちは見劣りであるかまたはそれは有効期限だ fact8: その設定欄は有効期限であるということはない fact9: もしもなんらかのものは御兄さんだとすれば「それは見劣りであるかまたは有効期限でないかもしくはどちらもだ」ということは誤りだ fact10: もし仮にあの枝打ちは御兄さんであるということはないとしたら見劣りであるかまたは有効期限でないかあるいは両方だ fact11: もしもあの枝打ちは御兄さんでないならば見劣りであるか有効期限だ fact12: あの価値法が新大系本でないならそれは御兄さんであるかもしくはそれは敵中深くない fact13: もし何らかの物は御兄さんであるならばそれは手強いか由々しないかあるいは両方である fact14: あの枝打ちはメリング・ロッジであるかあるいは合計するかもしくは両方ともだ fact15: 消化吸収され易くない物は三姉妹であるし高ずる
fact10 & fact5 -> hypothesis;
fact10 & fact5 -> hypothesis;
「あの枝打ちは見劣りであるかあるいは有効期限でないかもしくは両方だ」ということは偽である
fact16 -> int1: もしもあの枝打ちは御兄さんならば「それは見劣りであるかまたは有効期限でないかどちらもだ」ということは成り立たない;
$facts$ = fact1: もしもなんらかの物が上昇し易いならば御兄さんだ fact2: もしあの枝打ちが三姉妹であるならこの泉質他は上昇し易い fact3: この旗振り役は有効期限であるか強烈過ぎるということはないか両方である fact4: 「「その祇園精舎は消化吸収され易くてそれは消化し難い」ということは成り立つ」ということは誤りである fact5: 「あの枝打ちは御兄さんだということはない」ということは成り立つ fact6: あの枝打ちは御兄さんであるかまたはそれは七段階だということはないか両方だ fact7: あの枝打ちは見劣りであるかまたはそれは有効期限だ fact8: その設定欄は有効期限であるということはない fact9: もしもなんらかのものは御兄さんだとすれば「それは見劣りであるかまたは有効期限でないかもしくはどちらもだ」ということは誤りだ fact10: もし仮にあの枝打ちは御兄さんであるということはないとしたら見劣りであるかまたは有効期限でないかあるいは両方だ fact11: もしもあの枝打ちは御兄さんでないならば見劣りであるか有効期限だ fact12: あの価値法が新大系本でないならそれは御兄さんであるかもしくはそれは敵中深くない fact13: もし何らかの物は御兄さんであるならばそれは手強いか由々しないかあるいは両方である fact14: あの枝打ちはメリング・ロッジであるかあるいは合計するかもしくは両方ともだ fact15: 消化吸収され易くない物は三姉妹であるし高ずる ; $hypothesis$ = 「あの枝打ちは見劣りであるか有効期限でない」ということは間違っている ; $proof$ = 
fact10 & fact5 -> hypothesis; __DISPROVED__
事実1: もしもなんらかの物が上昇し易いならば御兄さんだ
事実2: もしあの枝打ちが三姉妹であるならこの泉質他は上昇し易い
事実3: この旗振り役は有効期限であるか強烈過ぎるということはないか両方である
事実4: 「「その祇園精舎は消化吸収され易くてそれは消化し難い」ということは成り立つ」ということは誤りである
事実5: 「あの枝打ちは御兄さんだということはない」ということは成り立つ
事実6: あの枝打ちは御兄さんであるかまたはそれは七段階だということはないか両方だ
事実7: あの枝打ちは見劣りであるかまたはそれは有効期限だ
事実8: その設定欄は有効期限であるということはない
事実9: もしもなんらかのものは御兄さんだとすれば「それは見劣りであるかまたは有効期限でないかもしくはどちらもだ」ということは誤りだ
事実10: もし仮にあの枝打ちは御兄さんであるということはないとしたら見劣りであるかまたは有効期限でないかあるいは両方だ
事実11: もしもあの枝打ちは御兄さんでないならば見劣りであるか有効期限だ
事実12: あの価値法が新大系本でないならそれは御兄さんであるかもしくはそれは敵中深くない
事実13: もし何らかの物は御兄さんであるならばそれは手強いか由々しないかあるいは両方である
事実14: あの枝打ちはメリング・ロッジであるかあるいは合計するかもしくは両方ともだ
事実15: 消化吸収され易くない物は三姉妹であるし高ずる

仮説: 「あの枝打ちは見劣りであるか有効期限でない」ということは間違っている
1. 事実10と事実5から、仮説が否定される

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