この非麻痺側優位は当たり易くない
fact1: もしあの上座は分かり過ぎないならば「「あの復曲は剥げ掛かる一方で御分霊でない」ということは確かだ」ということは嘘である fact2: この非麻痺側優位は引用為さらないか風吹大池であるということはないかもしくはどちらもであるとすれば「剥げ掛からない」ということは成り立つ fact3: あの復曲は分かり過ぎるかまたはそれは辞するかあるいは両方である fact4: なにがしかの物が剥げ掛かるということはないがしかしそれは御分霊であるとしたら「当たり易くない」ということは真実だ fact5: この非麻痺側優位が引用為さらないとしたら剥げ掛からない fact6: もしあの復曲が分かり過ぎるならばあの非麻痺側優位は御分霊である fact7: この非麻痺側優位は引用為さるかもしくは風吹大池でないか両方ともだ fact8: この非麻痺側優位は引用為さらないかもしくは風吹大池であるということはないかもしくは両方ともである fact9: この非麻痺側優位は当たり易いかもしくは分かり過ぎる fact10: 仮にあの復曲が辞するとするとこの非麻痺側優位は御分霊である
fact2 & fact8 -> int1: この非麻痺側優位は剥げ掛からない; fact6 & fact10 & fact3 -> int2: この非麻痺側優位は御分霊だ; int1 & int2 -> int3: この非麻痺側優位は剥げ掛からないけど御分霊である; fact4 -> int4: 仮にこの非麻痺側優位は剥げ掛からないけれど御分霊だとするとそれは当たり易くない; int3 & int4 -> hypothesis;
この非麻痺側優位は当たり易い
$facts$ = fact1: もしあの上座は分かり過ぎないならば「「あの復曲は剥げ掛かる一方で御分霊でない」ということは確かだ」ということは嘘である fact2: この非麻痺側優位は引用為さらないか風吹大池であるということはないかもしくはどちらもであるとすれば「剥げ掛からない」ということは成り立つ fact3: あの復曲は分かり過ぎるかまたはそれは辞するかあるいは両方である fact4: なにがしかの物が剥げ掛かるということはないがしかしそれは御分霊であるとしたら「当たり易くない」ということは真実だ fact5: この非麻痺側優位が引用為さらないとしたら剥げ掛からない fact6: もしあの復曲が分かり過ぎるならばあの非麻痺側優位は御分霊である fact7: この非麻痺側優位は引用為さるかもしくは風吹大池でないか両方ともだ fact8: この非麻痺側優位は引用為さらないかもしくは風吹大池であるということはないかもしくは両方ともである fact9: この非麻痺側優位は当たり易いかもしくは分かり過ぎる fact10: 仮にあの復曲が辞するとするとこの非麻痺側優位は御分霊である ; $hypothesis$ = この非麻痺側優位は当たり易くない ; $proof$ = 
fact2 & fact8 -> int1: この非麻痺側優位は剥げ掛からない; fact6 & fact10 & fact3 -> int2: この非麻痺側優位は御分霊だ; int1 & int2 -> int3: この非麻痺側優位は剥げ掛からないけど御分霊である; fact4 -> int4: 仮にこの非麻痺側優位は剥げ掛からないけれど御分霊だとするとそれは当たり易くない; int3 & int4 -> hypothesis; __PROVED__
事実1: もしあの上座は分かり過ぎないならば「「あの復曲は剥げ掛かる一方で御分霊でない」ということは確かだ」ということは嘘である
事実2: この非麻痺側優位は引用為さらないか風吹大池であるということはないかもしくはどちらもであるとすれば「剥げ掛からない」ということは成り立つ
事実3: あの復曲は分かり過ぎるかまたはそれは辞するかあるいは両方である
事実4: なにがしかの物が剥げ掛かるということはないがしかしそれは御分霊であるとしたら「当たり易くない」ということは真実だ
事実5: この非麻痺側優位が引用為さらないとしたら剥げ掛からない
事実6: もしあの復曲が分かり過ぎるならばあの非麻痺側優位は御分霊である
事実7: この非麻痺側優位は引用為さるかもしくは風吹大池でないか両方ともだ
事実8: この非麻痺側優位は引用為さらないかもしくは風吹大池であるということはないかもしくは両方ともである
事実9: この非麻痺側優位は当たり易いかもしくは分かり過ぎる
事実10: 仮にあの復曲が辞するとするとこの非麻痺側優位は御分霊である

仮説: この非麻痺側優位は当たり易くない
1. 事実2と事実8から、推論1: "この非麻痺側優位は剥げ掛からない"が導かれる
2. 事実6と事実10と事実3から、推論2: "この非麻痺側優位は御分霊だ"が導かれる
3. 推論1と推論2から、推論3: "この非麻痺側優位は剥げ掛からないけど御分霊である"が導かれる
4. 事実4から、推論4: "仮にこの非麻痺側優位は剥げ掛からないけれど御分霊だとするとそれは当たり易くない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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