その外国留学は乗り難い
fact1: その霞が三つ谷であるとすればこのデジカムは貸し付け等である fact2: もしもこのデジカムが吃るならばあの外国留学は乗り難い fact3: その外部監査は吃る fact4: その霞は三つ谷だ fact5: その霞は吃るかあるいはおっかないかあるいは両方ともである fact6: もしもこのデジカムが吃るとすると乗り難い fact7: その外国留学は吃る fact8: おっかないものは吃る fact9: もし仮にこのデジカムは貸し付け等であるならおっかない fact10: 仮にこのデジカムがおっかないとすれば三つ谷である fact11: その霞はおっかない fact12: このデジカムは乗り難い fact13: もしなにがしかのものがおっかないなら貸し付け等である fact14: その霞は乗り難い fact15: このデジカムは行軍する
fact1 & fact4 -> int1: このデジカムは貸し付け等だ; int1 & fact9 -> int2: このデジカムはおっかない; fact8 -> int3: 仮にこのデジカムがおっかないならばそれは吃る; int2 & int3 -> int4: このデジカムは吃る; int4 & fact2 -> hypothesis;
その外国留学は乗り難くない
fact16 -> int5: 「なんらかのものは吃るかもしくはおっかないかどちらもである」ということは確かである;
$facts$ = fact1: その霞が三つ谷であるとすればこのデジカムは貸し付け等である fact2: もしもこのデジカムが吃るならばあの外国留学は乗り難い fact3: その外部監査は吃る fact4: その霞は三つ谷だ fact5: その霞は吃るかあるいはおっかないかあるいは両方ともである fact6: もしもこのデジカムが吃るとすると乗り難い fact7: その外国留学は吃る fact8: おっかないものは吃る fact9: もし仮にこのデジカムは貸し付け等であるならおっかない fact10: 仮にこのデジカムがおっかないとすれば三つ谷である fact11: その霞はおっかない fact12: このデジカムは乗り難い fact13: もしなにがしかのものがおっかないなら貸し付け等である fact14: その霞は乗り難い fact15: このデジカムは行軍する ; $hypothesis$ = その外国留学は乗り難い ; $proof$ = 
fact1 & fact4 -> int1: このデジカムは貸し付け等だ; int1 & fact9 -> int2: このデジカムはおっかない; fact8 -> int3: 仮にこのデジカムがおっかないならばそれは吃る; int2 & int3 -> int4: このデジカムは吃る; int4 & fact2 -> hypothesis; __PROVED__
事実1: その霞が三つ谷であるとすればこのデジカムは貸し付け等である
事実2: もしもこのデジカムが吃るならばあの外国留学は乗り難い
事実3: その外部監査は吃る
事実4: その霞は三つ谷だ
事実5: その霞は吃るかあるいはおっかないかあるいは両方ともである
事実6: もしもこのデジカムが吃るとすると乗り難い
事実7: その外国留学は吃る
事実8: おっかないものは吃る
事実9: もし仮にこのデジカムは貸し付け等であるならおっかない
事実10: 仮にこのデジカムがおっかないとすれば三つ谷である
事実11: その霞はおっかない
事実12: このデジカムは乗り難い
事実13: もしなにがしかのものがおっかないなら貸し付け等である
事実14: その霞は乗り難い
事実15: このデジカムは行軍する

仮説: その外国留学は乗り難い
1. 事実1と事実4から、推論1: "このデジカムは貸し付け等だ"が導かれる
2. 推論1と事実9から、推論2: "このデジカムはおっかない"が導かれる
3. 事実8から、推論3: "仮にこのデジカムがおっかないならばそれは吃る"が導かれる
4. 推論2と推論3から、推論4: "このデジカムは吃る"が導かれる
5. 推論4と事実2から、仮説が導かれる

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