その潜望鏡は捕らわれ易くないか黄昏るかあるいは両方である
fact1: もし仮にその三本以上が捕らわれ易いとしたらその潜望鏡は古い fact2: 「思い易いものは握り易い」ということは成り立つ fact3: 「その潜望鏡は握り易い」ということは成り立つとしたらその若宮大路は小万ちゃんだ fact4: もし仮にその潜望鏡は思い易くないし助命するということはないとすると「それは見辛くない」ということは事実である fact5: その三本以上は子供っぽくないしさらに抜け易くない fact6: 「その若宮大路は古くないしそれは小万ちゃんでない」ということは正しくないならばそれは思い易い fact7: 「「その潜望鏡は思い易いけれど助命するということはない」ということは嘘でない」ということは誤りである fact8: あらゆる物は貢献しない fact9: もしその潜望鏡が見辛くないならば捕らわれ易くないか黄昏るかまたは両方ともである fact10: もし仮に「その潜望鏡は見辛くない」ということは確かであるとすればそれは捕らわれ易いかあるいは黄昏るかもしくはどちらもである fact11: 「何らかの物は思い易くなくてかつ助命するということはない」ということは誤りだとすればそれは握り易い fact12: 仮にその三本以上が思い易いとすればその潜望鏡は見辛い fact13: もしもその若宮大路は小万ちゃんなら「その三本以上は古い」ということは真実だ fact14: どれもこれもは古くない fact15: 仮にその潜望鏡は思い易いけど助命しないとしたら「見辛くない」ということは確かだ
fact11 -> int1: 「もし「その潜望鏡は思い易くないし助命しない」ということは事実と異なるとしたらその潜望鏡は握り易い」ということは正しい; void -> assump1: 以下のように仮定する。「「その潜望鏡は思い易くなくて助命しない」ということは誤りだ」ということは成り立つ; int1 & assump1 -> int2: 「その潜望鏡は握り易い」ということは真実である; int2 & fact3 -> int3: その若宮大路は小万ちゃんである; int3 & fact13 -> int4: その三本以上は古い; fact14 -> int5: その三本以上は古くない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その潜望鏡は思い易くなくて加えて助命しない; int7 & fact4 -> int8: その潜望鏡は見辛くない; int8 & fact9 -> hypothesis;
$facts$ = fact1: もし仮にその三本以上が捕らわれ易いとしたらその潜望鏡は古い fact2: 「思い易いものは握り易い」ということは成り立つ fact3: 「その潜望鏡は握り易い」ということは成り立つとしたらその若宮大路は小万ちゃんだ fact4: もし仮にその潜望鏡は思い易くないし助命するということはないとすると「それは見辛くない」ということは事実である fact5: その三本以上は子供っぽくないしさらに抜け易くない fact6: 「その若宮大路は古くないしそれは小万ちゃんでない」ということは正しくないならばそれは思い易い fact7: 「「その潜望鏡は思い易いけれど助命するということはない」ということは嘘でない」ということは誤りである fact8: あらゆる物は貢献しない fact9: もしその潜望鏡が見辛くないならば捕らわれ易くないか黄昏るかまたは両方ともである fact10: もし仮に「その潜望鏡は見辛くない」ということは確かであるとすればそれは捕らわれ易いかあるいは黄昏るかもしくはどちらもである fact11: 「何らかの物は思い易くなくてかつ助命するということはない」ということは誤りだとすればそれは握り易い fact12: 仮にその三本以上が思い易いとすればその潜望鏡は見辛い fact13: もしもその若宮大路は小万ちゃんなら「その三本以上は古い」ということは真実だ fact14: どれもこれもは古くない fact15: 仮にその潜望鏡は思い易いけど助命しないとしたら「見辛くない」ということは確かだ ; $hypothesis$ = その潜望鏡は捕らわれ易くないか黄昏るかあるいは両方である ; $proof$ = 
fact11 -> int1: 「もし「その潜望鏡は思い易くないし助命しない」ということは事実と異なるとしたらその潜望鏡は握り易い」ということは正しい; void -> assump1: 以下のように仮定する。「「その潜望鏡は思い易くなくて助命しない」ということは誤りだ」ということは成り立つ; int1 & assump1 -> int2: 「その潜望鏡は握り易い」ということは真実である; int2 & fact3 -> int3: その若宮大路は小万ちゃんである; int3 & fact13 -> int4: その三本以上は古い; fact14 -> int5: その三本以上は古くない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その潜望鏡は思い易くなくて加えて助命しない; int7 & fact4 -> int8: その潜望鏡は見辛くない; int8 & fact9 -> hypothesis; __PROVED__
事実1: もし仮にその三本以上が捕らわれ易いとしたらその潜望鏡は古い
事実2: 「思い易いものは握り易い」ということは成り立つ
事実3: 「その潜望鏡は握り易い」ということは成り立つとしたらその若宮大路は小万ちゃんだ
事実4: もし仮にその潜望鏡は思い易くないし助命するということはないとすると「それは見辛くない」ということは事実である
事実5: その三本以上は子供っぽくないしさらに抜け易くない
事実6: 「その若宮大路は古くないしそれは小万ちゃんでない」ということは正しくないならばそれは思い易い
事実7: 「「その潜望鏡は思い易いけれど助命するということはない」ということは嘘でない」ということは誤りである
事実8: あらゆる物は貢献しない
事実9: もしその潜望鏡が見辛くないならば捕らわれ易くないか黄昏るかまたは両方ともである
事実10: もし仮に「その潜望鏡は見辛くない」ということは確かであるとすればそれは捕らわれ易いかあるいは黄昏るかもしくはどちらもである
事実11: 「何らかの物は思い易くなくてかつ助命するということはない」ということは誤りだとすればそれは握り易い
事実12: 仮にその三本以上が思い易いとすればその潜望鏡は見辛い
事実13: もしもその若宮大路は小万ちゃんなら「その三本以上は古い」ということは真実だ
事実14: どれもこれもは古くない
事実15: 仮にその潜望鏡は思い易いけど助命しないとしたら「見辛くない」ということは確かだ

仮説: その潜望鏡は捕らわれ易くないか黄昏るかあるいは両方である
1. 事実11から、推論1: "「もし「その潜望鏡は思い易くないし助命しない」ということは事実と異なるとしたらその潜望鏡は握り易い」ということは正しい"が導かれる
2. 仮定1: 以下のように仮定する。「「その潜望鏡は思い易くなくて助命しない」ということは誤りだ」ということは成り立つ
3. 推論1と仮定1から、推論2: "「その潜望鏡は握り易い」ということは真実である"が導かれる
4. 推論2と事実3から、推論3: "その若宮大路は小万ちゃんである"が導かれる
5. 推論3と事実13から、推論4: "その三本以上は古い"が導かれる
6. 事実14から、推論5: "その三本以上は古くない"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その潜望鏡は思い易くなくて加えて助命しない"が導かれる
9. 推論7と事実4から、推論8: "その潜望鏡は見辛くない"が導かれる
10. 推論8と事実9から、仮説が導かれる

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