「この大病は別除権でない一方でそれは戦後初期だ」ということは成り立たない
fact1: この大病は遺伝子組み替え作物だ fact2: 「あのＣ以外は別除権でそれに答え易い」ということは本当でない fact3: もし何らかのものは遺伝子組み替え作物でないとしたらそれは別除権であるということはないが戦後初期だ fact4: すべての物は別除権であるということはない fact5: あの明細表は別除権でないならば「この大病は別除権でないが戦後初期である」ということは間違っている fact6: もし仮にこの大病が遺伝子組み替え作物であるしまた戦後初期だとするとあの早道は戦後初期でない
fact4 -> int1: あの明細表は別除権でない; int1 & fact5 -> hypothesis;
fact4 -> int1: ¬{A}{aa}; int1 & fact5 -> hypothesis;
この大病は別除権でないがしかし戦後初期だ
fact7 -> int2: もし仮にこの大病は遺伝子組み替え作物でないとするとそれは別除権でないけれど戦後初期である;
$facts$ = fact1: この大病は遺伝子組み替え作物だ fact2: 「あのＣ以外は別除権でそれに答え易い」ということは本当でない fact3: もし何らかのものは遺伝子組み替え作物でないとしたらそれは別除権であるということはないが戦後初期だ fact4: すべての物は別除権であるということはない fact5: あの明細表は別除権でないならば「この大病は別除権でないが戦後初期である」ということは間違っている fact6: もし仮にこの大病が遺伝子組み替え作物であるしまた戦後初期だとするとあの早道は戦後初期でない ; $hypothesis$ = 「この大病は別除権でない一方でそれは戦後初期だ」ということは成り立たない ; $proof$ = 
fact4 -> int1: あの明細表は別除権でない; int1 & fact5 -> hypothesis; __PROVED__
事実1: この大病は遺伝子組み替え作物だ
事実2: 「あのＣ以外は別除権でそれに答え易い」ということは本当でない
事実3: もし何らかのものは遺伝子組み替え作物でないとしたらそれは別除権であるということはないが戦後初期だ
事実4: すべての物は別除権であるということはない
事実5: あの明細表は別除権でないならば「この大病は別除権でないが戦後初期である」ということは間違っている
事実6: もし仮にこの大病が遺伝子組み替え作物であるしまた戦後初期だとするとあの早道は戦後初期でない

仮説: 「この大病は別除権でない一方でそれは戦後初期だ」ということは成り立たない
1. 事実4から、推論1: "あの明細表は別除権でない"が導かれる
2. 推論1と事実5から、仮説が導かれる

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