「この動機は踏み付ける」ということは真実だ
fact1: このＳＭＯＮは薄れ掛けるかあるいは踏み付ける fact2: この動機は薄れ掛けるかまたは踏み付けるかもしくは両方だ fact3: この動機は心配為さるかあるいはそれは踏み付ける fact4: このＳＭＯＮは心配為さらないかまたは薄れ掛けるかまたはどちらもだ fact5: この動機は踏み付けないか薄れ掛けるかもしくはどちらもだ fact6: このＳＭＯＮは転び易い fact7: 仮になにがしかの物が長たらしいということはないかそれが踏み付けないなら踏み付けない fact8: この動機が心配為さらないならばこのＳＭＯＮは踏み付ける fact9: このＳＭＯＮは薄れ掛けるということはないかそれは踏み付けるか両方ともである fact10: 仮にこのＳＭＯＮが心配為さらないかまたは薄れ掛けるかもしくは両方であるとしたらこの動機は踏み付ける fact11: 仮に「このＳＭＯＮは踏み付けない」ということは正しいとするとこの動機は心配為さる fact12: もし「この動機は薄れ掛けない」ということは成り立つならこのＳＭＯＮは踏み付ける fact13: もしこのＳＭＯＮが踏み付けないかまたは心配為さるかあるいは両方ともであるなら「この動機は薄れ掛ける」ということは事実である fact14: このＳＭＯＮは心配為さるかあるいは薄れ掛けるかまたは両方である fact15: この動機は薄れ掛ける
fact10 & fact4 -> hypothesis;
fact10 & fact4 -> hypothesis;
この動機は踏み付けない
fact16 -> int1: もし仮にこの動機が長たらしくないかもしくはそれは踏み付けるということはないとしたら「踏み付けない」ということは正しい;
$facts$ = fact1: このＳＭＯＮは薄れ掛けるかあるいは踏み付ける fact2: この動機は薄れ掛けるかまたは踏み付けるかもしくは両方だ fact3: この動機は心配為さるかあるいはそれは踏み付ける fact4: このＳＭＯＮは心配為さらないかまたは薄れ掛けるかまたはどちらもだ fact5: この動機は踏み付けないか薄れ掛けるかもしくはどちらもだ fact6: このＳＭＯＮは転び易い fact7: 仮になにがしかの物が長たらしいということはないかそれが踏み付けないなら踏み付けない fact8: この動機が心配為さらないならばこのＳＭＯＮは踏み付ける fact9: このＳＭＯＮは薄れ掛けるということはないかそれは踏み付けるか両方ともである fact10: 仮にこのＳＭＯＮが心配為さらないかまたは薄れ掛けるかもしくは両方であるとしたらこの動機は踏み付ける fact11: 仮に「このＳＭＯＮは踏み付けない」ということは正しいとするとこの動機は心配為さる fact12: もし「この動機は薄れ掛けない」ということは成り立つならこのＳＭＯＮは踏み付ける fact13: もしこのＳＭＯＮが踏み付けないかまたは心配為さるかあるいは両方ともであるなら「この動機は薄れ掛ける」ということは事実である fact14: このＳＭＯＮは心配為さるかあるいは薄れ掛けるかまたは両方である fact15: この動機は薄れ掛ける ; $hypothesis$ = 「この動機は踏み付ける」ということは真実だ ; $proof$ = 
fact10 & fact4 -> hypothesis; __PROVED__
事実1: このＳＭＯＮは薄れ掛けるかあるいは踏み付ける
事実2: この動機は薄れ掛けるかまたは踏み付けるかもしくは両方だ
事実3: この動機は心配為さるかあるいはそれは踏み付ける
事実4: このＳＭＯＮは心配為さらないかまたは薄れ掛けるかまたはどちらもだ
事実5: この動機は踏み付けないか薄れ掛けるかもしくはどちらもだ
事実6: このＳＭＯＮは転び易い
事実7: 仮になにがしかの物が長たらしいということはないかそれが踏み付けないなら踏み付けない
事実8: この動機が心配為さらないならばこのＳＭＯＮは踏み付ける
事実9: このＳＭＯＮは薄れ掛けるということはないかそれは踏み付けるか両方ともである
事実10: 仮にこのＳＭＯＮが心配為さらないかまたは薄れ掛けるかもしくは両方であるとしたらこの動機は踏み付ける
事実11: 仮に「このＳＭＯＮは踏み付けない」ということは正しいとするとこの動機は心配為さる
事実12: もし「この動機は薄れ掛けない」ということは成り立つならこのＳＭＯＮは踏み付ける
事実13: もしこのＳＭＯＮが踏み付けないかまたは心配為さるかあるいは両方ともであるなら「この動機は薄れ掛ける」ということは事実である
事実14: このＳＭＯＮは心配為さるかあるいは薄れ掛けるかまたは両方である
事実15: この動機は薄れ掛ける

仮説: 「この動機は踏み付ける」ということは真実だ
1. 事実10と事実4から、仮説が導かれる

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