あの主人夫婦は悔しくて二次救急である
fact1: もし操作し易いものがあるならあの主人夫婦は款であるしそれは二次救急である fact2: あの主人夫婦は激怒するしまた不信仰だ fact3: もし仮になにがしかのものは不信仰であるとすれば悔しい fact4: 何かは操作し易い
fact2 -> int1: 「あの主人夫婦は不信仰だ」ということは真実である; fact3 -> int2: もし仮にあの主人夫婦は不信仰であるとするとそれは悔しい; int1 & int2 -> int3: あの主人夫婦は悔しい; fact1 & fact4 -> int4: あの主人夫婦は款であるし二次救急だ; int4 -> int5: あの主人夫婦は二次救急だ; int3 & int5 -> hypothesis;
fact2 -> int1: {B}{a}; fact3 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> int3: {C}{a}; fact1 & fact4 -> int4: ({E}{a} & {D}{a}); int4 -> int5: {D}{a}; int3 & int5 -> hypothesis;
$facts$ = fact1: もし操作し易いものがあるならあの主人夫婦は款であるしそれは二次救急である fact2: あの主人夫婦は激怒するしまた不信仰だ fact3: もし仮になにがしかのものは不信仰であるとすれば悔しい fact4: 何かは操作し易い ; $hypothesis$ = あの主人夫婦は悔しくて二次救急である ; $proof$ = 
fact2 -> int1: 「あの主人夫婦は不信仰だ」ということは真実である; fact3 -> int2: もし仮にあの主人夫婦は不信仰であるとするとそれは悔しい; int1 & int2 -> int3: あの主人夫婦は悔しい; fact1 & fact4 -> int4: あの主人夫婦は款であるし二次救急だ; int4 -> int5: あの主人夫婦は二次救急だ; int3 & int5 -> hypothesis; __PROVED__
事実1: もし操作し易いものがあるならあの主人夫婦は款であるしそれは二次救急である
事実2: あの主人夫婦は激怒するしまた不信仰だ
事実3: もし仮になにがしかのものは不信仰であるとすれば悔しい
事実4: 何かは操作し易い

仮説: あの主人夫婦は悔しくて二次救急である
1. 事実2から、推論1: "「あの主人夫婦は不信仰だ」ということは真実である"が導かれる
2. 事実3から、推論2: "もし仮にあの主人夫婦は不信仰であるとするとそれは悔しい"が導かれる
3. 推論1と推論2から、推論3: "あの主人夫婦は悔しい"が導かれる
4. 事実1と事実4から、推論4: "あの主人夫婦は款であるし二次救急だ"が導かれる
5. 推論4から、推論5: "あの主人夫婦は二次救急だ"が導かれる
6. 推論3と推論5から、仮説が導かれる

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