「もしも「血行障害であるかあるいは節約出来ないかどちらもである」ということは成り立たないとすると剥がれ易くない」ものはある
fact1: 「もし仮に「降り注ぐか割れ難くないかあるいは両方ともだ」ということは誤っているとすると整理・統合しない」物はある fact2: 「仮に「釈明であるかまたは接近し易くないかあるいは両方ともだ」ということは嘘だとすれば降り注がない」物はある fact3: 「「英訳するかもしくはかっかするということはないかもしくは両方ともだ」ということは間違いであるなら善戦しない」ものはある fact4: 「「進学するかもしくは撫でない」ということは誤っているとしたら「似付かわしくらない」ということは正しい」物はある fact5: もし「このクラブサンは血行障害であるか節約出来ない」ということは成り立たないなら「剥がれ易い」ということは正しい fact6: もし仮にこのクラブサンが血行障害であるかまたはそれは節約出来ないかまたはどちらもなら剥がれ易くない fact7: 「もし仮に「考え深いかもしくは親孝行するかあるいは両方ともだ」ということは成り立たないとすると固しということはない」物はある fact8: 「「血行障害であるかもしくは節約出来ない」ということは成り立たないなら剥がれ易い」物はある fact9: 「このクラブサンは血行障害であるかあるいは節約出来るかもしくは両方だ」ということは間違っているとすると剥がれ易くない fact10: 「仮に「血行障害であるか節約出来るかもしくは両方ともである」ということは間違っているなら剥がれ易くない」物はある fact11: もし「何かは割れ難いかあるいは中島式寿三型でない」ということは偽ならそれはうつ伏すということはない fact12: 「もし「ペンディメタリンであるかまたは給油しない」ということは誤っていればプロテオグリカンでない」ものはある fact13: もし仮に「「何かは資料Ａであるかまたは血行障害であるということはないかまたは両方ともである」ということは本当だ」ということは間違いであるならば進上でない fact14: 「もしも血行障害であるかまたは節約出来ないとしたら剥がれ易くない」物はある fact15: もしも「このクラブサンは血行障害であるかあるいは節約出来ない」ということは誤っているとすれば「剥がれ易いということはない」ということは成り立つ
fact15 -> hypothesis;
もし「あの大親友は資料Ａであるかまたはそれは血行障害でない」ということは誤りであるとしたらそれは進上でない
fact16 -> hypothesis;
$facts$ = fact1: 「もし仮に「降り注ぐか割れ難くないかあるいは両方ともだ」ということは誤っているとすると整理・統合しない」物はある fact2: 「仮に「釈明であるかまたは接近し易くないかあるいは両方ともだ」ということは嘘だとすれば降り注がない」物はある fact3: 「「英訳するかもしくはかっかするということはないかもしくは両方ともだ」ということは間違いであるなら善戦しない」ものはある fact4: 「「進学するかもしくは撫でない」ということは誤っているとしたら「似付かわしくらない」ということは正しい」物はある fact5: もし「このクラブサンは血行障害であるか節約出来ない」ということは成り立たないなら「剥がれ易い」ということは正しい fact6: もし仮にこのクラブサンが血行障害であるかまたはそれは節約出来ないかまたはどちらもなら剥がれ易くない fact7: 「もし仮に「考え深いかもしくは親孝行するかあるいは両方ともだ」ということは成り立たないとすると固しということはない」物はある fact8: 「「血行障害であるかもしくは節約出来ない」ということは成り立たないなら剥がれ易い」物はある fact9: 「このクラブサンは血行障害であるかあるいは節約出来るかもしくは両方だ」ということは間違っているとすると剥がれ易くない fact10: 「仮に「血行障害であるか節約出来るかもしくは両方ともである」ということは間違っているなら剥がれ易くない」物はある fact11: もし「何かは割れ難いかあるいは中島式寿三型でない」ということは偽ならそれはうつ伏すということはない fact12: 「もし「ペンディメタリンであるかまたは給油しない」ということは誤っていればプロテオグリカンでない」ものはある fact13: もし仮に「「何かは資料Ａであるかまたは血行障害であるということはないかまたは両方ともである」ということは本当だ」ということは間違いであるならば進上でない fact14: 「もしも血行障害であるかまたは節約出来ないとしたら剥がれ易くない」物はある fact15: もしも「このクラブサンは血行障害であるかあるいは節約出来ない」ということは誤っているとすれば「剥がれ易いということはない」ということは成り立つ ; $hypothesis$ = 「もしも「血行障害であるかあるいは節約出来ないかどちらもである」ということは成り立たないとすると剥がれ易くない」ものはある ; $proof$ = 
fact15 -> hypothesis; __PROVED__
事実1: 「もし仮に「降り注ぐか割れ難くないかあるいは両方ともだ」ということは誤っているとすると整理・統合しない」物はある
事実2: 「仮に「釈明であるかまたは接近し易くないかあるいは両方ともだ」ということは嘘だとすれば降り注がない」物はある
事実3: 「「英訳するかもしくはかっかするということはないかもしくは両方ともだ」ということは間違いであるなら善戦しない」ものはある
事実4: 「「進学するかもしくは撫でない」ということは誤っているとしたら「似付かわしくらない」ということは正しい」物はある
事実5: もし「このクラブサンは血行障害であるか節約出来ない」ということは成り立たないなら「剥がれ易い」ということは正しい
事実6: もし仮にこのクラブサンが血行障害であるかまたはそれは節約出来ないかまたはどちらもなら剥がれ易くない
事実7: 「もし仮に「考え深いかもしくは親孝行するかあるいは両方ともだ」ということは成り立たないとすると固しということはない」物はある
事実8: 「「血行障害であるかもしくは節約出来ない」ということは成り立たないなら剥がれ易い」物はある
事実9: 「このクラブサンは血行障害であるかあるいは節約出来るかもしくは両方だ」ということは間違っているとすると剥がれ易くない
事実10: 「仮に「血行障害であるか節約出来るかもしくは両方ともである」ということは間違っているなら剥がれ易くない」物はある
事実11: もし「何かは割れ難いかあるいは中島式寿三型でない」ということは偽ならそれはうつ伏すということはない
事実12: 「もし「ペンディメタリンであるかまたは給油しない」ということは誤っていればプロテオグリカンでない」ものはある
事実13: もし仮に「「何かは資料Ａであるかまたは血行障害であるということはないかまたは両方ともである」ということは本当だ」ということは間違いであるならば進上でない
事実14: 「もしも血行障害であるかまたは節約出来ないとしたら剥がれ易くない」物はある
事実15: もしも「このクラブサンは血行障害であるかあるいは節約出来ない」ということは誤っているとすれば「剥がれ易いということはない」ということは成り立つ

仮説: 「もしも「血行障害であるかあるいは節約出来ないかどちらもである」ということは成り立たないとすると剥がれ易くない」ものはある
1. 事実15から、仮説が導かれる

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