あの正犯行為は灰色っぽい
fact1: もし何らかのものは妬ましいとしたら「それは出掛けるし加えて灰色っぽくない」ということは事実と異なる fact2: すべての物は灰色っぽくておまけに妬ましい
fact2 -> int1: あの正犯行為は灰色っぽいし妬ましい; int1 -> hypothesis;
fact2 -> int1: ({A}{aa} & {B}{aa}); int1 -> hypothesis;
あの正犯行為は灰色っぽくない
fact3 -> int2: もしこの前種は妬ましいとすれば「出掛けるし灰色っぽくない」ということは偽である;
$facts$ = fact1: もし何らかのものは妬ましいとしたら「それは出掛けるし加えて灰色っぽくない」ということは事実と異なる fact2: すべての物は灰色っぽくておまけに妬ましい ; $hypothesis$ = あの正犯行為は灰色っぽい ; $proof$ = 
fact2 -> int1: あの正犯行為は灰色っぽいし妬ましい; int1 -> hypothesis; __PROVED__
事実1: もし何らかのものは妬ましいとしたら「それは出掛けるし加えて灰色っぽくない」ということは事実と異なる
事実2: すべての物は灰色っぽくておまけに妬ましい

仮説: あの正犯行為は灰色っぽい
1. 事実2から、推論1: "あの正犯行為は灰色っぽいし妬ましい"が導かれる
2. 推論1から、仮説が導かれる

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