「あの天災地変はざける」ということは確かだ
fact1: もし左右され易くない物が認め難くないとしたらそれはざけるない fact2: この御墓は認め難い fact3: ある物は左右され易いとすると「それは立ち直れないかあるいはそれは測り難い」ということは成り立つということはない fact4: もし仮に「この御墓は立ち直れないか測り難い」ということは間違いであるならばあの天災地変はざける fact5: 「あの天災地変は認め難い」ということは正しい fact6: 仮にこの御墓が左右され易いとしたらそれは立ち直れる fact7: あの天災地変が測り難くないとすると左右され易いということはないし認め難くない fact8: この御墓は立ち直れる fact9: もし仮になにがしかの物は認め難くないとすると「知れ切らないかもしくはそれは左右され易いかまたは両方ともだ」ということは成り立たない fact10: もしこの御墓が認め難いとするとそれは左右され易い fact11: 仮に「この御墓は立ち直れるか測り難い」ということは事実だということはないとしたらあの天災地変はざける fact12: 「この御墓は再雇用しないか出来易いかあるいは両方ともである」ということは成り立たない fact13: その梅林は認め難い fact14: 左右され易い物は立ち直れる
fact10 & fact2 -> int1: 「この御墓は左右され易い」ということは確かである; fact3 -> int2: もしもこの御墓は左右され易いとしたら「立ち直れないかそれは測り難いかどちらもだ」ということは成り立つということはない; int1 & int2 -> int3: 「この御墓は立ち直れないかまたは測り難いかまたはどちらもだ」ということは事実と異なる; int3 & fact4 -> hypothesis;
あの天災地変はざけるということはない
fact16 -> int4: もし「あの天災地変は左右され易くないし認め難いということはない」ということは事実であるとしたらそれはざけるない;
$facts$ = fact1: もし左右され易くない物が認め難くないとしたらそれはざけるない fact2: この御墓は認め難い fact3: ある物は左右され易いとすると「それは立ち直れないかあるいはそれは測り難い」ということは成り立つということはない fact4: もし仮に「この御墓は立ち直れないか測り難い」ということは間違いであるならばあの天災地変はざける fact5: 「あの天災地変は認め難い」ということは正しい fact6: 仮にこの御墓が左右され易いとしたらそれは立ち直れる fact7: あの天災地変が測り難くないとすると左右され易いということはないし認め難くない fact8: この御墓は立ち直れる fact9: もし仮になにがしかの物は認め難くないとすると「知れ切らないかもしくはそれは左右され易いかまたは両方ともだ」ということは成り立たない fact10: もしこの御墓が認め難いとするとそれは左右され易い fact11: 仮に「この御墓は立ち直れるか測り難い」ということは事実だということはないとしたらあの天災地変はざける fact12: 「この御墓は再雇用しないか出来易いかあるいは両方ともである」ということは成り立たない fact13: その梅林は認め難い fact14: 左右され易い物は立ち直れる ; $hypothesis$ = 「あの天災地変はざける」ということは確かだ ; $proof$ = 
fact10 & fact2 -> int1: 「この御墓は左右され易い」ということは確かである; fact3 -> int2: もしもこの御墓は左右され易いとしたら「立ち直れないかそれは測り難いかどちらもだ」ということは成り立つということはない; int1 & int2 -> int3: 「この御墓は立ち直れないかまたは測り難いかまたはどちらもだ」ということは事実と異なる; int3 & fact4 -> hypothesis; __PROVED__
事実1: もし左右され易くない物が認め難くないとしたらそれはざけるない
事実2: この御墓は認め難い
事実3: ある物は左右され易いとすると「それは立ち直れないかあるいはそれは測り難い」ということは成り立つということはない
事実4: もし仮に「この御墓は立ち直れないか測り難い」ということは間違いであるならばあの天災地変はざける
事実5: 「あの天災地変は認め難い」ということは正しい
事実6: 仮にこの御墓が左右され易いとしたらそれは立ち直れる
事実7: あの天災地変が測り難くないとすると左右され易いということはないし認め難くない
事実8: この御墓は立ち直れる
事実9: もし仮になにがしかの物は認め難くないとすると「知れ切らないかもしくはそれは左右され易いかまたは両方ともだ」ということは成り立たない
事実10: もしこの御墓が認め難いとするとそれは左右され易い
事実11: 仮に「この御墓は立ち直れるか測り難い」ということは事実だということはないとしたらあの天災地変はざける
事実12: 「この御墓は再雇用しないか出来易いかあるいは両方ともである」ということは成り立たない
事実13: その梅林は認め難い
事実14: 左右され易い物は立ち直れる

仮説: 「あの天災地変はざける」ということは確かだ
1. 事実10と事実2から、推論1: "「この御墓は左右され易い」ということは確かである"が導かれる
2. 事実3から、推論2: "もしもこの御墓は左右され易いとしたら「立ち直れないかそれは測り難いかどちらもだ」ということは成り立つということはない"が導かれる
3. 推論1と推論2から、推論3: "「この御墓は立ち直れないかまたは測り難いかまたはどちらもだ」ということは事実と異なる"が導かれる
4. 推論3と事実4から、仮説が導かれる

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