「この距離表示は血管確保である」ということは成り立つ
fact1: もしもその蓮根が中学生活でないならばあの距離表示は御偉い fact2: もし「なにがしかのものは険しいしかつそれは減益だ」ということは成り立たないとしたらそれは中学生活であるということはない fact3: この距離表示は悟れないならば「それは険しくて減益だ」ということは成り立たない fact4: その蓮根は落ち着き為さる fact5: その蓮根はにやつく fact6: あの善意は血管確保だ fact7: この距離表示は御偉い fact8: その蓮根は得られ易い fact9: 仮にその蓮根が血管確保でないとしたらこの距離表示は御偉い fact10: その蓮根は御偉いということはないかまたは中学生活でないかもしくはどちらもである fact11: もしその蓮根が御偉くないならばこの距離表示は血管確保だ fact12: もしとある物が中学生活でないとするとそれは御偉いしさらに血管確保でない fact13: もしその蓮根が中学生活だということはないならこの距離表示は血管確保である fact14: その蓮根は血管確保でないかあるいはそれは御偉くない
fact10 & fact11 & fact13 -> hypothesis;
fact10 & fact11 & fact13 -> hypothesis;
この距離表示は血管確保でない
fact15 -> int1: もし仮に「この距離表示は中学生活でない」ということは正しいならそれは御偉くてかつ血管確保でない; fact16 -> int2: もしも「この距離表示は険しいししかも減益だ」ということは嘘であるとすると中学生活でない;
$facts$ = fact1: もしもその蓮根が中学生活でないならばあの距離表示は御偉い fact2: もし「なにがしかのものは険しいしかつそれは減益だ」ということは成り立たないとしたらそれは中学生活であるということはない fact3: この距離表示は悟れないならば「それは険しくて減益だ」ということは成り立たない fact4: その蓮根は落ち着き為さる fact5: その蓮根はにやつく fact6: あの善意は血管確保だ fact7: この距離表示は御偉い fact8: その蓮根は得られ易い fact9: 仮にその蓮根が血管確保でないとしたらこの距離表示は御偉い fact10: その蓮根は御偉いということはないかまたは中学生活でないかもしくはどちらもである fact11: もしその蓮根が御偉くないならばこの距離表示は血管確保だ fact12: もしとある物が中学生活でないとするとそれは御偉いしさらに血管確保でない fact13: もしその蓮根が中学生活だということはないならこの距離表示は血管確保である fact14: その蓮根は血管確保でないかあるいはそれは御偉くない ; $hypothesis$ = 「この距離表示は血管確保である」ということは成り立つ ; $proof$ = 
fact10 & fact11 & fact13 -> hypothesis; __PROVED__
事実1: もしもその蓮根が中学生活でないならばあの距離表示は御偉い
事実2: もし「なにがしかのものは険しいしかつそれは減益だ」ということは成り立たないとしたらそれは中学生活であるということはない
事実3: この距離表示は悟れないならば「それは険しくて減益だ」ということは成り立たない
事実4: その蓮根は落ち着き為さる
事実5: その蓮根はにやつく
事実6: あの善意は血管確保だ
事実7: この距離表示は御偉い
事実8: その蓮根は得られ易い
事実9: 仮にその蓮根が血管確保でないとしたらこの距離表示は御偉い
事実10: その蓮根は御偉いということはないかまたは中学生活でないかもしくはどちらもである
事実11: もしその蓮根が御偉くないならばこの距離表示は血管確保だ
事実12: もしとある物が中学生活でないとするとそれは御偉いしさらに血管確保でない
事実13: もしその蓮根が中学生活だということはないならこの距離表示は血管確保である
事実14: その蓮根は血管確保でないかあるいはそれは御偉くない

仮説: 「この距離表示は血管確保である」ということは成り立つ
1. 事実10と事実11と事実13から、仮説が導かれる

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