「あの八年墓所開設は名高くないかもしくはそれはアクセスし易い」ということは成り立たない
fact1: あの八年墓所開設は名高い fact2: もし仮に「このマップ要素は転び易い」ということは成り立つならあの加入電話は為されない fact3: 「「嘆ずかまたは生々しかないかあるいはどちらもだ」ということは偽な」物はある fact4: もしも「あの八年墓所開設はうら若し」ということは確かだとしたら「名高くないかアクセスし易いかあるいは両方だ」ということは成り立たない fact5: もし仮にこのマップ要素が転び易いとしたらあの加入電話は転び易くないしそれに為されるということはない fact6: なんらかの物は嘆ずかあるいは生々しかない fact7: あの加入電話が転び易くなくてかつ為されないならあの八年墓所開設はうら若し fact8: もし「「嘆ずかもしくは生々しかないか両方である」ということは成り立たない」物はあるとしたら「このマップ要素は転び易い」ということは確かである fact9: あるものは為される fact10: もし「「転び易いかあるいはアクセスし易くない」ということは成り立たない」ものはあるなら「あの加入電話は為される」ということは事実と異ならない fact11: とあるものは嘆ずない
fact3 & fact8 -> int1: 「このマップ要素は転び易い」ということは事実である; int1 & fact5 -> int2: あの加入電話は転び易くなくてそれは為されない; int2 & fact7 -> int3: あの八年墓所開設はうら若し; int3 & fact4 -> hypothesis;
$facts$ = fact1: あの八年墓所開設は名高い fact2: もし仮に「このマップ要素は転び易い」ということは成り立つならあの加入電話は為されない fact3: 「「嘆ずかまたは生々しかないかあるいはどちらもだ」ということは偽な」物はある fact4: もしも「あの八年墓所開設はうら若し」ということは確かだとしたら「名高くないかアクセスし易いかあるいは両方だ」ということは成り立たない fact5: もし仮にこのマップ要素が転び易いとしたらあの加入電話は転び易くないしそれに為されるということはない fact6: なんらかの物は嘆ずかあるいは生々しかない fact7: あの加入電話が転び易くなくてかつ為されないならあの八年墓所開設はうら若し fact8: もし「「嘆ずかもしくは生々しかないか両方である」ということは成り立たない」物はあるとしたら「このマップ要素は転び易い」ということは確かである fact9: あるものは為される fact10: もし「「転び易いかあるいはアクセスし易くない」ということは成り立たない」ものはあるなら「あの加入電話は為される」ということは事実と異ならない fact11: とあるものは嘆ずない ; $hypothesis$ = 「あの八年墓所開設は名高くないかもしくはそれはアクセスし易い」ということは成り立たない ; $proof$ = 
fact3 & fact8 -> int1: 「このマップ要素は転び易い」ということは事実である; int1 & fact5 -> int2: あの加入電話は転び易くなくてそれは為されない; int2 & fact7 -> int3: あの八年墓所開設はうら若し; int3 & fact4 -> hypothesis; __PROVED__
事実1: あの八年墓所開設は名高い
事実2: もし仮に「このマップ要素は転び易い」ということは成り立つならあの加入電話は為されない
事実3: 「「嘆ずかまたは生々しかないかあるいはどちらもだ」ということは偽な」物はある
事実4: もしも「あの八年墓所開設はうら若し」ということは確かだとしたら「名高くないかアクセスし易いかあるいは両方だ」ということは成り立たない
事実5: もし仮にこのマップ要素が転び易いとしたらあの加入電話は転び易くないしそれに為されるということはない
事実6: なんらかの物は嘆ずかあるいは生々しかない
事実7: あの加入電話が転び易くなくてかつ為されないならあの八年墓所開設はうら若し
事実8: もし「「嘆ずかもしくは生々しかないか両方である」ということは成り立たない」物はあるとしたら「このマップ要素は転び易い」ということは確かである
事実9: あるものは為される
事実10: もし「「転び易いかあるいはアクセスし易くない」ということは成り立たない」ものはあるなら「あの加入電話は為される」ということは事実と異ならない
事実11: とあるものは嘆ずない

仮説: 「あの八年墓所開設は名高くないかもしくはそれはアクセスし易い」ということは成り立たない
1. 事実3と事実8から、推論1: "「このマップ要素は転び易い」ということは事実である"が導かれる
2. 推論1と事実5から、推論2: "あの加入電話は転び易くなくてそれは為されない"が導かれる
3. 推論2と事実7から、推論3: "あの八年墓所開設はうら若し"が導かれる
4. 推論3と事実4から、仮説が導かれる

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