この前方手術は行い為さるということはない
fact1: もしあのカードがつれなくないとするとこの前方手術は行い為さる fact2: 成立し難い物は押さえ兼ねる fact3: 仮にあのカードが生み落とす一方で恨みがましくらないとすればこの前方手術は恨みがましい fact4: もしも何かは押さえ兼ねるとするとそれはつれない fact5: 仮になにがしかのものが併科しないかそれは成立し難いかまたは両方だとしたらそれは成立し難い fact6: あのカードはつれなくない fact7: もしもこの抗ＣＤが受け入れられ易くないならあのカードは生み落とすけど恨みがましかない fact8: もしもとある物はつれないならばそれは行い為さらない fact9: 恨みがましい物は併科するということはないか成立し難いかあるいは両方ともである
fact1 & fact6 -> hypothesis;
fact1 & fact6 -> hypothesis;
この前方手術は行い為さらない
fact15 -> int1: もし「この前方手術はつれない」ということは真実であるとするとそれは行い為さらない; fact10 -> int2: 仮にこの前方手術が押さえ兼ねるならそれはつれない; fact12 -> int3: 仮にこの前方手術が成立し難いとすればそれは押さえ兼ねる; fact13 -> int4: もし仮にこの前方手術は併科するということはないか成立し難いかどちらもであるとしたら「成立し難い」ということは成り立つ; fact14 -> int5: もしこの前方手術は恨みがましいなら「併科するということはないか成立し難いかもしくはどちらもだ」ということは成り立つ;
$facts$ = fact1: もしあのカードがつれなくないとするとこの前方手術は行い為さる fact2: 成立し難い物は押さえ兼ねる fact3: 仮にあのカードが生み落とす一方で恨みがましくらないとすればこの前方手術は恨みがましい fact4: もしも何かは押さえ兼ねるとするとそれはつれない fact5: 仮になにがしかのものが併科しないかそれは成立し難いかまたは両方だとしたらそれは成立し難い fact6: あのカードはつれなくない fact7: もしもこの抗ＣＤが受け入れられ易くないならあのカードは生み落とすけど恨みがましかない fact8: もしもとある物はつれないならばそれは行い為さらない fact9: 恨みがましい物は併科するということはないか成立し難いかあるいは両方ともである ; $hypothesis$ = この前方手術は行い為さるということはない ; $proof$ = 
fact1 & fact6 -> hypothesis; __DISPROVED__
事実1: もしあのカードがつれなくないとするとこの前方手術は行い為さる
事実2: 成立し難い物は押さえ兼ねる
事実3: 仮にあのカードが生み落とす一方で恨みがましくらないとすればこの前方手術は恨みがましい
事実4: もしも何かは押さえ兼ねるとするとそれはつれない
事実5: 仮になにがしかのものが併科しないかそれは成立し難いかまたは両方だとしたらそれは成立し難い
事実6: あのカードはつれなくない
事実7: もしもこの抗ＣＤが受け入れられ易くないならあのカードは生み落とすけど恨みがましかない
事実8: もしもとある物はつれないならばそれは行い為さらない
事実9: 恨みがましい物は併科するということはないか成立し難いかあるいは両方ともである

仮説: この前方手術は行い為さるということはない
1. 事実1と事実6から、仮説が否定される

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