「あの売却は伸び易い」ということは成り立つ
fact1: その経営目標は地下深い fact2: あの一枚毎は東大受験である fact3: もしその被保険者資格が地下深いとするとあの一枚毎は地下深い fact4: その勝烈庵は図像化する fact5: 仮にとあるものは温かいならば「図像化しなくてそれは伸び易い」ということは間違いだ fact6: もし「何かは危うしがそれは地下深くない」ということは成り立たないとすると「それは地下深い」ということは成り立つ fact7: もし何らかのものが図像化すれば東大受験である fact8: もし仮になにがしかのものは東大受験であるとすると「それは地下深い」ということは成り立つ fact9: もし仮に「あの請求は地下深い」ということは間違いでないとしたらあの売却は伸び易い fact10: あの売却は温かい fact11: あの請求は図像化するし温かい fact12: あの請求が伸び易いとしたらあの売却は図像化する fact13: あの請求は燃え出す fact14: そのＡ型胃炎は伸び易い
fact11 -> int1: あの請求は図像化する; fact7 -> int2: もしあの請求が図像化するとしたら東大受験だ; int1 & int2 -> int3: あの請求は東大受験である; fact8 -> int4: もし「あの請求は東大受験だ」ということは偽でないとすれば地下深い; int3 & int4 -> int5: あの請求は地下深い; int5 & fact9 -> hypothesis;
あの売却は伸び易くない
fact15 -> int6: 仮にあの請求は温かいならば「図像化するということはなくて更に伸び易い」ということは事実と異なる; fact16 -> int7: 「その被保険者資格は危うしけど地下深くない」ということは成り立たないとするとそれは地下深い;
$facts$ = fact1: その経営目標は地下深い fact2: あの一枚毎は東大受験である fact3: もしその被保険者資格が地下深いとするとあの一枚毎は地下深い fact4: その勝烈庵は図像化する fact5: 仮にとあるものは温かいならば「図像化しなくてそれは伸び易い」ということは間違いだ fact6: もし「何かは危うしがそれは地下深くない」ということは成り立たないとすると「それは地下深い」ということは成り立つ fact7: もし何らかのものが図像化すれば東大受験である fact8: もし仮になにがしかのものは東大受験であるとすると「それは地下深い」ということは成り立つ fact9: もし仮に「あの請求は地下深い」ということは間違いでないとしたらあの売却は伸び易い fact10: あの売却は温かい fact11: あの請求は図像化するし温かい fact12: あの請求が伸び易いとしたらあの売却は図像化する fact13: あの請求は燃え出す fact14: そのＡ型胃炎は伸び易い ; $hypothesis$ = 「あの売却は伸び易い」ということは成り立つ ; $proof$ = 
fact11 -> int1: あの請求は図像化する; fact7 -> int2: もしあの請求が図像化するとしたら東大受験だ; int1 & int2 -> int3: あの請求は東大受験である; fact8 -> int4: もし「あの請求は東大受験だ」ということは偽でないとすれば地下深い; int3 & int4 -> int5: あの請求は地下深い; int5 & fact9 -> hypothesis; __PROVED__
事実1: その経営目標は地下深い
事実2: あの一枚毎は東大受験である
事実3: もしその被保険者資格が地下深いとするとあの一枚毎は地下深い
事実4: その勝烈庵は図像化する
事実5: 仮にとあるものは温かいならば「図像化しなくてそれは伸び易い」ということは間違いだ
事実6: もし「何かは危うしがそれは地下深くない」ということは成り立たないとすると「それは地下深い」ということは成り立つ
事実7: もし何らかのものが図像化すれば東大受験である
事実8: もし仮になにがしかのものは東大受験であるとすると「それは地下深い」ということは成り立つ
事実9: もし仮に「あの請求は地下深い」ということは間違いでないとしたらあの売却は伸び易い
事実10: あの売却は温かい
事実11: あの請求は図像化するし温かい
事実12: あの請求が伸び易いとしたらあの売却は図像化する
事実13: あの請求は燃え出す
事実14: そのＡ型胃炎は伸び易い

仮説: 「あの売却は伸び易い」ということは成り立つ
1. 事実11から、推論1: "あの請求は図像化する"が導かれる
2. 事実7から、推論2: "もしあの請求が図像化するとしたら東大受験だ"が導かれる
3. 推論1と推論2から、推論3: "あの請求は東大受験である"が導かれる
4. 事実8から、推論4: "もし「あの請求は東大受験だ」ということは偽でないとすれば地下深い"が導かれる
5. 推論3と推論4から、推論5: "あの請求は地下深い"が導かれる
6. 推論5と事実9から、仮説が導かれる

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