この河川流量は犯し易くない
fact1: 仮にこの河川流量がペーパーだとしたらそれは翻す fact2: もしもとある物が翻せばそれは犯し易くない fact3: もし仮にこの長野県史は七日後であるとすればペーパーでない fact4: もしこの河川流量はペーパーであるとしたら生々しい fact5: 仮にその自殺防止が犯し易いならばこの河川流量は犯し易い fact6: あの乱暴は犯し易い fact7: このドイツ全土はペーパーでない fact8: あの建具類等は犯し易い fact9: この河川流量は明滅する fact10: 息苦しい物は翻さなくておまけに余儀無くない fact11: この河川流量はペーパーである fact12: その婚姻後は翻す fact13: この河川流量は社会的出身である fact14: 認め難いものは教育すということはない
fact1 & fact11 -> int1: この河川流量は翻す; fact2 -> int2: もしこの河川流量が翻すとするとそれは犯し易くない; int1 & int2 -> hypothesis;
fact1 & fact11 -> int1: {B}{a}; fact2 -> int2: {B}{a} -> ¬{C}{a}; int1 & int2 -> hypothesis;
「この河川流量は犯し易い」ということは真実だ
fact16 -> int3: もしその自殺防止が息苦しいとすればそれが翻さないしさらにそれは余儀無くない;
$facts$ = fact1: 仮にこの河川流量がペーパーだとしたらそれは翻す fact2: もしもとある物が翻せばそれは犯し易くない fact3: もし仮にこの長野県史は七日後であるとすればペーパーでない fact4: もしこの河川流量はペーパーであるとしたら生々しい fact5: 仮にその自殺防止が犯し易いならばこの河川流量は犯し易い fact6: あの乱暴は犯し易い fact7: このドイツ全土はペーパーでない fact8: あの建具類等は犯し易い fact9: この河川流量は明滅する fact10: 息苦しい物は翻さなくておまけに余儀無くない fact11: この河川流量はペーパーである fact12: その婚姻後は翻す fact13: この河川流量は社会的出身である fact14: 認め難いものは教育すということはない ; $hypothesis$ = この河川流量は犯し易くない ; $proof$ = 
fact1 & fact11 -> int1: この河川流量は翻す; fact2 -> int2: もしこの河川流量が翻すとするとそれは犯し易くない; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮にこの河川流量がペーパーだとしたらそれは翻す
事実2: もしもとある物が翻せばそれは犯し易くない
事実3: もし仮にこの長野県史は七日後であるとすればペーパーでない
事実4: もしこの河川流量はペーパーであるとしたら生々しい
事実5: 仮にその自殺防止が犯し易いならばこの河川流量は犯し易い
事実6: あの乱暴は犯し易い
事実7: このドイツ全土はペーパーでない
事実8: あの建具類等は犯し易い
事実9: この河川流量は明滅する
事実10: 息苦しい物は翻さなくておまけに余儀無くない
事実11: この河川流量はペーパーである
事実12: その婚姻後は翻す
事実13: この河川流量は社会的出身である
事実14: 認め難いものは教育すということはない

仮説: この河川流量は犯し易くない
1. 事実1と事実11から、推論1: "この河川流量は翻す"が導かれる
2. 事実2から、推論2: "もしこの河川流量が翻すとするとそれは犯し易くない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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