この底盤はしぶとくない
fact1: もしこの身持ちが手荒いけど奔走しないとしたらこの底盤はしぶとい fact2: 隠元であるかあるいは論うないというものはない fact3: 仮に「あるものは隠元であるかもしくはそれは論うということはない」ということは成り立たないとすればしぶとくない fact4: それは鉱山跡であるかあるいはさもしくないというものはない
fact3 -> int1: 仮に「「この底盤は隠元であるかもしくはそれは論うということはない」ということは成り立たない」ということは成り立つならそれはしぶとくない; fact2 -> int2: 「この底盤は隠元であるかそれは論うない」ということは成り立たない; int1 & int2 -> hypothesis;
fact3 -> int1: ¬({AA}{aa} v ¬{AB}{aa}) -> ¬{B}{aa}; fact2 -> int2: ¬({AA}{aa} v ¬{AB}{aa}); int1 & int2 -> hypothesis;
この底盤はしぶとい
$facts$ = fact1: もしこの身持ちが手荒いけど奔走しないとしたらこの底盤はしぶとい fact2: 隠元であるかあるいは論うないというものはない fact3: 仮に「あるものは隠元であるかもしくはそれは論うということはない」ということは成り立たないとすればしぶとくない fact4: それは鉱山跡であるかあるいはさもしくないというものはない ; $hypothesis$ = この底盤はしぶとくない ; $proof$ = 
fact3 -> int1: 仮に「「この底盤は隠元であるかもしくはそれは論うということはない」ということは成り立たない」ということは成り立つならそれはしぶとくない; fact2 -> int2: 「この底盤は隠元であるかそれは論うない」ということは成り立たない; int1 & int2 -> hypothesis; __PROVED__
事実1: もしこの身持ちが手荒いけど奔走しないとしたらこの底盤はしぶとい
事実2: 隠元であるかあるいは論うないというものはない
事実3: 仮に「あるものは隠元であるかもしくはそれは論うということはない」ということは成り立たないとすればしぶとくない
事実4: それは鉱山跡であるかあるいはさもしくないというものはない

仮説: この底盤はしぶとくない
1. 事実3から、推論1: "仮に「「この底盤は隠元であるかもしくはそれは論うということはない」ということは成り立たない」ということは成り立つならそれはしぶとくない"が導かれる
2. 事実2から、推論2: "「この底盤は隠元であるかそれは論うない」ということは成り立たない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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