「あのプロモーター領域は鼻咽頭炎であるかあるいは引き立て役でないかどちらもである」ということは確かであるということはない
fact1: なにがしかのものは布置する fact2: もし「布置する」ものがあるとするとあのプロモーター領域は報酬支払いでないけれど鼻咽頭炎である
fact1 & fact2 -> int1: あのプロモーター領域は報酬支払いでないけど鼻咽頭炎である; int1 -> int2: 「あのプロモーター領域は鼻咽頭炎だ」ということは真実だ; int2 -> hypothesis;
fact1 & fact2 -> int1: (¬{B}{a} & {C}{a}); int1 -> int2: {C}{a}; int2 -> hypothesis;
$facts$ = fact1: なにがしかのものは布置する fact2: もし「布置する」ものがあるとするとあのプロモーター領域は報酬支払いでないけれど鼻咽頭炎である ; $hypothesis$ = 「あのプロモーター領域は鼻咽頭炎であるかあるいは引き立て役でないかどちらもである」ということは確かであるということはない ; $proof$ = 
fact1 & fact2 -> int1: あのプロモーター領域は報酬支払いでないけど鼻咽頭炎である; int1 -> int2: 「あのプロモーター領域は鼻咽頭炎だ」ということは真実だ; int2 -> hypothesis; __DISPROVED__
事実1: なにがしかのものは布置する
事実2: もし「布置する」ものがあるとするとあのプロモーター領域は報酬支払いでないけれど鼻咽頭炎である

仮説: 「あのプロモーター領域は鼻咽頭炎であるかあるいは引き立て役でないかどちらもである」ということは確かであるということはない
1. 事実1と事実2から、推論1: "あのプロモーター領域は報酬支払いでないけど鼻咽頭炎である"が導かれる
2. 推論1から、推論2: "「あのプロモーター領域は鼻咽頭炎だ」ということは真実だ"が導かれる
3. 推論2から、仮説が否定される

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