あの発注量は気高くない
fact1: あの発注量は通水しないけどそれは弾き易い fact2: もしなんらかのものが通水しないとすると気高くない fact3: この代謝拮抗剤は弾き易くないがしかし置き易い
fact1 -> int1: あの発注量は通水しない; fact2 -> int2: あの発注量は通水しないとすれば「それは気高くない」ということは成り立つ; int1 & int2 -> hypothesis;
fact1 -> int1: ¬{A}{a}; fact2 -> int2: ¬{A}{a} -> ¬{C}{a}; int1 & int2 -> hypothesis;
$facts$ = fact1: あの発注量は通水しないけどそれは弾き易い fact2: もしなんらかのものが通水しないとすると気高くない fact3: この代謝拮抗剤は弾き易くないがしかし置き易い ; $hypothesis$ = あの発注量は気高くない ; $proof$ = 
fact1 -> int1: あの発注量は通水しない; fact2 -> int2: あの発注量は通水しないとすれば「それは気高くない」ということは成り立つ; int1 & int2 -> hypothesis; __PROVED__
事実1: あの発注量は通水しないけどそれは弾き易い
事実2: もしなんらかのものが通水しないとすると気高くない
事実3: この代謝拮抗剤は弾き易くないがしかし置き易い

仮説: あの発注量は気高くない
1. 事実1から、推論1: "あの発注量は通水しない"が導かれる
2. 事実2から、推論2: "あの発注量は通水しないとすれば「それは気高くない」ということは成り立つ"が導かれる
3. 推論1と推論2から、仮説が導かれる

よって、仮説が証明されました。