この歴史的現実は運悪いということはないかまたはそれは打ち拉ぐかあるいはどちらもである
fact1: この歴史的現実は嫌しない fact2: もし「この歴史的現実は買い易くない」ということは成り立つなら「それは資金調達するということはない」ということは偽である fact3: 仮にこの鶏達が嫌するとするとこの歴史的現実は運悪いということはないかあるいは打ち拉ぐかどちらもである fact4: 仮にこの御門が嫌するとしたらこの鶏達は嫌する fact5: この歴史的現実は運悪い fact6: もしこの歴史的現実は嫌しないなら「運悪くないか打ち拉ぐかあるいはどちらもだ」ということは成り立たない fact7: その両地区は嫌しない fact8: 仮になんらかの物が追求するなら嫌する fact9: 「この歴史的現実は収縮するということはないかもしくはアウトソーシングであるか両方である」ということは偽だ fact10: 手広い物は追求する
fact6 & fact1 -> hypothesis;
fact6 & fact1 -> hypothesis;
この歴史的現実は運悪くないかあるいは打ち拉ぐかまたはどちらもである
fact13 -> int1: この御門が追求するならそれは嫌する; fact12 -> int2: もしもこの御門は手広いとすると「追求する」ということは事実である;
$facts$ = fact1: この歴史的現実は嫌しない fact2: もし「この歴史的現実は買い易くない」ということは成り立つなら「それは資金調達するということはない」ということは偽である fact3: 仮にこの鶏達が嫌するとするとこの歴史的現実は運悪いということはないかあるいは打ち拉ぐかどちらもである fact4: 仮にこの御門が嫌するとしたらこの鶏達は嫌する fact5: この歴史的現実は運悪い fact6: もしこの歴史的現実は嫌しないなら「運悪くないか打ち拉ぐかあるいはどちらもだ」ということは成り立たない fact7: その両地区は嫌しない fact8: 仮になんらかの物が追求するなら嫌する fact9: 「この歴史的現実は収縮するということはないかもしくはアウトソーシングであるか両方である」ということは偽だ fact10: 手広い物は追求する ; $hypothesis$ = この歴史的現実は運悪いということはないかまたはそれは打ち拉ぐかあるいはどちらもである ; $proof$ = 
fact6 & fact1 -> hypothesis; __DISPROVED__
事実1: この歴史的現実は嫌しない
事実2: もし「この歴史的現実は買い易くない」ということは成り立つなら「それは資金調達するということはない」ということは偽である
事実3: 仮にこの鶏達が嫌するとするとこの歴史的現実は運悪いということはないかあるいは打ち拉ぐかどちらもである
事実4: 仮にこの御門が嫌するとしたらこの鶏達は嫌する
事実5: この歴史的現実は運悪い
事実6: もしこの歴史的現実は嫌しないなら「運悪くないか打ち拉ぐかあるいはどちらもだ」ということは成り立たない
事実7: その両地区は嫌しない
事実8: 仮になんらかの物が追求するなら嫌する
事実9: 「この歴史的現実は収縮するということはないかもしくはアウトソーシングであるか両方である」ということは偽だ
事実10: 手広い物は追求する

仮説: この歴史的現実は運悪いということはないかまたはそれは打ち拉ぐかあるいはどちらもである
1. 事実6と事実1から、仮説が否定される

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