あの断熱工法は落成するか標準スケルトンでないかまたは両方ともである
fact1: もし仮になんらかのものはあどけないか欧米型食生活であるかもしくは両方ともであるとすれば貢献しない fact2: あの断熱工法は抗する fact3: 「ある物は生やさくないかもしくはそれは抗する」ということは成り立てばあどけない fact4: もしなんらかの物が貢献しないとすると落成するかもしくは標準スケルトンでないかあるいはどちらもだ fact5: あの暗号化メールは抗する
fact2 -> int1: あの断熱工法は生やさくないかそれは抗するかあるいは両方である; fact3 -> int2: 仮にあの断熱工法は生やさくないかあるいは抗するか両方ともだとしたらそれはあどけない; int1 & int2 -> int3: あの断熱工法はあどけない; int3 -> int4: あの断熱工法はあどけないか欧米型食生活である; fact1 -> int5: 「もし仮にあの断熱工法があどけないかもしくはそれが欧米型食生活であるかもしくは両方だとしたらあの断熱工法は貢献しない」ということは正しい; int4 & int5 -> int6: あの断熱工法は貢献しない; fact4 -> int7: あの断熱工法が貢献しないとすれば落成するかもしくはそれは標準スケルトンでない; int6 & int7 -> hypothesis;
$facts$ = fact1: もし仮になんらかのものはあどけないか欧米型食生活であるかもしくは両方ともであるとすれば貢献しない fact2: あの断熱工法は抗する fact3: 「ある物は生やさくないかもしくはそれは抗する」ということは成り立てばあどけない fact4: もしなんらかの物が貢献しないとすると落成するかもしくは標準スケルトンでないかあるいはどちらもだ fact5: あの暗号化メールは抗する ; $hypothesis$ = あの断熱工法は落成するか標準スケルトンでないかまたは両方ともである ; $proof$ = 
fact2 -> int1: あの断熱工法は生やさくないかそれは抗するかあるいは両方である; fact3 -> int2: 仮にあの断熱工法は生やさくないかあるいは抗するか両方ともだとしたらそれはあどけない; int1 & int2 -> int3: あの断熱工法はあどけない; int3 -> int4: あの断熱工法はあどけないか欧米型食生活である; fact1 -> int5: 「もし仮にあの断熱工法があどけないかもしくはそれが欧米型食生活であるかもしくは両方だとしたらあの断熱工法は貢献しない」ということは正しい; int4 & int5 -> int6: あの断熱工法は貢献しない; fact4 -> int7: あの断熱工法が貢献しないとすれば落成するかもしくはそれは標準スケルトンでない; int6 & int7 -> hypothesis; __PROVED__
事実1: もし仮になんらかのものはあどけないか欧米型食生活であるかもしくは両方ともであるとすれば貢献しない
事実2: あの断熱工法は抗する
事実3: 「ある物は生やさくないかもしくはそれは抗する」ということは成り立てばあどけない
事実4: もしなんらかの物が貢献しないとすると落成するかもしくは標準スケルトンでないかあるいはどちらもだ
事実5: あの暗号化メールは抗する

仮説: あの断熱工法は落成するか標準スケルトンでないかまたは両方ともである
1. 事実2から、推論1: "あの断熱工法は生やさくないかそれは抗するかあるいは両方である"が導かれる
2. 事実3から、推論2: "仮にあの断熱工法は生やさくないかあるいは抗するか両方ともだとしたらそれはあどけない"が導かれる
3. 推論1と推論2から、推論3: "あの断熱工法はあどけない"が導かれる
4. 推論3から、推論4: "あの断熱工法はあどけないか欧米型食生活である"が導かれる
5. 事実1から、推論5: "「もし仮にあの断熱工法があどけないかもしくはそれが欧米型食生活であるかもしくは両方だとしたらあの断熱工法は貢献しない」ということは正しい"が導かれる
6. 推論4と推論5から、推論6: "あの断熱工法は貢献しない"が導かれる
7. 事実4から、推論7: "あの断熱工法が貢献しないとすれば落成するかもしくはそれは標準スケルトンでない"が導かれる
8. 推論6と推論7から、仮説が導かれる

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