その抗体産生能は榛でない
fact1: 仮に尾根線が榛であるとするとその抗体産生能は舗装する fact2: あの一悶着は禁止す fact3: 「「きちんとする」ということは事実と異なるということはない」物はある fact4: あの一悶着は舗装する fact5: あの交付要求は舗装する fact6: もし仮にあの大革命が達成し得るということはないならあの一悶着は黄色くてさらにすーごい fact7: もしあの一悶着は打ち合わないとすると「その抗体産生能は焼け焦げない」ということは正しい fact8: もし仮になにかは焼け焦げないとすれば「尾根線であるかあるいはそれは舗装する」ということは成り立たない fact9: 何かは尾根線である fact10: もし「なんらかのものは尾根線であるか舗装する」ということは事実と異なればそれは榛でない fact11: あの一悶着は榛だ fact12: もしも何かは黄色いとしたら打ち合わない fact13: もし「舗装するしかつ尾根線な」ものがあるとすればその抗体産生能は榛だ fact14: あの一悶着は尾根線だ
fact4 & fact14 -> int1: あの一悶着は舗装するしかつ尾根線だ; int1 -> int2: 何らかのものは舗装するしそれに尾根線である; int2 & fact13 -> hypothesis;
fact4 & fact14 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact13 -> hypothesis;
その抗体産生能は榛でない
fact19 -> int3: もしも「その抗体産生能は尾根線であるかまたはそれは舗装するかもしくは両方ともである」ということは真実でないなら榛でない; fact17 -> int4: もし仮にその抗体産生能は焼け焦げないならば「尾根線であるかあるいは舗装するかまたは両方ともだ」ということは成り立たない; fact16 -> int5: もしもあの一悶着が黄色いとするとそれは打ち合わない;
$facts$ = fact1: 仮に尾根線が榛であるとするとその抗体産生能は舗装する fact2: あの一悶着は禁止す fact3: 「「きちんとする」ということは事実と異なるということはない」物はある fact4: あの一悶着は舗装する fact5: あの交付要求は舗装する fact6: もし仮にあの大革命が達成し得るということはないならあの一悶着は黄色くてさらにすーごい fact7: もしあの一悶着は打ち合わないとすると「その抗体産生能は焼け焦げない」ということは正しい fact8: もし仮になにかは焼け焦げないとすれば「尾根線であるかあるいはそれは舗装する」ということは成り立たない fact9: 何かは尾根線である fact10: もし「なんらかのものは尾根線であるか舗装する」ということは事実と異なればそれは榛でない fact11: あの一悶着は榛だ fact12: もしも何かは黄色いとしたら打ち合わない fact13: もし「舗装するしかつ尾根線な」ものがあるとすればその抗体産生能は榛だ fact14: あの一悶着は尾根線だ ; $hypothesis$ = その抗体産生能は榛でない ; $proof$ = 
fact4 & fact14 -> int1: あの一悶着は舗装するしかつ尾根線だ; int1 -> int2: 何らかのものは舗装するしそれに尾根線である; int2 & fact13 -> hypothesis; __DISPROVED__
事実1: 仮に尾根線が榛であるとするとその抗体産生能は舗装する
事実2: あの一悶着は禁止す
事実3: 「「きちんとする」ということは事実と異なるということはない」物はある
事実4: あの一悶着は舗装する
事実5: あの交付要求は舗装する
事実6: もし仮にあの大革命が達成し得るということはないならあの一悶着は黄色くてさらにすーごい
事実7: もしあの一悶着は打ち合わないとすると「その抗体産生能は焼け焦げない」ということは正しい
事実8: もし仮になにかは焼け焦げないとすれば「尾根線であるかあるいはそれは舗装する」ということは成り立たない
事実9: 何かは尾根線である
事実10: もし「なんらかのものは尾根線であるか舗装する」ということは事実と異なればそれは榛でない
事実11: あの一悶着は榛だ
事実12: もしも何かは黄色いとしたら打ち合わない
事実13: もし「舗装するしかつ尾根線な」ものがあるとすればその抗体産生能は榛だ
事実14: あの一悶着は尾根線だ

仮説: その抗体産生能は榛でない
1. 事実4と事実14から、推論1: "あの一悶着は舗装するしかつ尾根線だ"が導かれる
2. 推論1から、推論2: "何らかのものは舗装するしそれに尾根線である"が導かれる
3. 推論2と事実13から、仮説が否定される

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