そのＤＮＡマーカーは黄巾でない
fact1: 何らかのものは現行システムでない fact2: 「現行システムでない」物はあるなら「あの新酒は偏在しないけれどそれは格好悪い」ということは間違っている fact3: もし仮に「あの新酒は偏在しないが格好悪い」ということは真実でないとするとそのＤＮＡマーカーは黄巾だ
fact1 & fact2 -> int1: 「「あの新酒は偏在しないけどそれは格好悪い」ということは事実と異ならない」ということは嘘だ; int1 & fact3 -> hypothesis;
fact1 & fact2 -> int1: ¬(¬{B}{a} & {C}{a}); int1 & fact3 -> hypothesis;
$facts$ = fact1: 何らかのものは現行システムでない fact2: 「現行システムでない」物はあるなら「あの新酒は偏在しないけれどそれは格好悪い」ということは間違っている fact3: もし仮に「あの新酒は偏在しないが格好悪い」ということは真実でないとするとそのＤＮＡマーカーは黄巾だ ; $hypothesis$ = そのＤＮＡマーカーは黄巾でない ; $proof$ = 
fact1 & fact2 -> int1: 「「あの新酒は偏在しないけどそれは格好悪い」ということは事実と異ならない」ということは嘘だ; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: 何らかのものは現行システムでない
事実2: 「現行システムでない」物はあるなら「あの新酒は偏在しないけれどそれは格好悪い」ということは間違っている
事実3: もし仮に「あの新酒は偏在しないが格好悪い」ということは真実でないとするとそのＤＮＡマーカーは黄巾だ

仮説: そのＤＮＡマーカーは黄巾でない
1. 事実1と事実2から、推論1: "「「あの新酒は偏在しないけどそれは格好悪い」ということは事実と異ならない」ということは嘘だ"が導かれる
2. 推論1と事実3から、仮説が否定される

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