「仮に「点Ｍだ」ということは成り立つなら「読み辛いかまたは青っぽくない」ということは間違っている」ものはある
fact1: 「仮に「点Ｍである」ということは事実であるなら青っぽい」物はある fact2: その一プラスは点Ｍだとすると「それは読み辛いかまたは青っぽいかあるいは両方だ」ということは成り立たない fact3: 「もし仮に財政収支であるなら「乾杯するか模式でないかまたはどちらもだ」ということは間違いである」物はある fact4: 「もしも点Ｍならば「読み辛いかもしくは青っぽい」ということは偽である」ものはある fact5: 仮にその一プラスが点Ｍであるとすれば読み辛いかあるいは青っぽくないかあるいは両方ともである fact6: その一プラスは点Ｍだとすると「それは飲み方するかもしくはそれは表書きしないか両方だ」ということは本当でない fact7: もし仮にその一プラスは点Ｍであるとすると「「それは厚過ぎるかもしくは御教えしないかまたはどちらもである」ということは確かだ」ということは成り立たない fact8: もしも「その一プラスは岡豊城襲撃である」ということは本当だとすれば「それは後期旧石器時代終末であるかもしくはそれは小高くないかどちらもだ」ということは間違っている fact9: 仮に「その一プラスは差配である」ということは正しいなら「それは読み辛いかまたはそれは苦慮しないかまたはどちらもだ」ということは間違いである fact10: 「もしも点Ｍであるなら読み辛いということはない」物はある fact11: もしもその一プラスが点Ｍならば読み辛くない fact12: あの一個大隊は読み辛いとすれば「それは起こし易いかもしくは重なり合わない」ということは真実であるということはない fact13: 「もしも点Ｍであるなら読み辛いかあるいは青っぽくないかもしくは両方ともな」物はある fact14: その一プラスは点Ｍだとしたら「読み辛いかあるいはそれは青っぽくない」ということは成り立たない fact15: もし仮になにがしかの物は躍らすとすると「鈍いかあるいはそれは白菜畑でないかもしくは両方ともだ」ということは成り立たない
fact14 -> hypothesis;
「もしも躍らすとしたら「鈍いか白菜畑でない」ということは成り立たない」ものはある
fact16 -> int1: もしもあの適正濃度部分は躍らすとすると「鈍いかもしくは白菜畑であるということはない」ということは成り立つということはない; int1 -> hypothesis;
$facts$ = fact1: 「仮に「点Ｍである」ということは事実であるなら青っぽい」物はある fact2: その一プラスは点Ｍだとすると「それは読み辛いかまたは青っぽいかあるいは両方だ」ということは成り立たない fact3: 「もし仮に財政収支であるなら「乾杯するか模式でないかまたはどちらもだ」ということは間違いである」物はある fact4: 「もしも点Ｍならば「読み辛いかもしくは青っぽい」ということは偽である」ものはある fact5: 仮にその一プラスが点Ｍであるとすれば読み辛いかあるいは青っぽくないかあるいは両方ともである fact6: その一プラスは点Ｍだとすると「それは飲み方するかもしくはそれは表書きしないか両方だ」ということは本当でない fact7: もし仮にその一プラスは点Ｍであるとすると「「それは厚過ぎるかもしくは御教えしないかまたはどちらもである」ということは確かだ」ということは成り立たない fact8: もしも「その一プラスは岡豊城襲撃である」ということは本当だとすれば「それは後期旧石器時代終末であるかもしくはそれは小高くないかどちらもだ」ということは間違っている fact9: 仮に「その一プラスは差配である」ということは正しいなら「それは読み辛いかまたはそれは苦慮しないかまたはどちらもだ」ということは間違いである fact10: 「もしも点Ｍであるなら読み辛いということはない」物はある fact11: もしもその一プラスが点Ｍならば読み辛くない fact12: あの一個大隊は読み辛いとすれば「それは起こし易いかもしくは重なり合わない」ということは真実であるということはない fact13: 「もしも点Ｍであるなら読み辛いかあるいは青っぽくないかもしくは両方ともな」物はある fact14: その一プラスは点Ｍだとしたら「読み辛いかあるいはそれは青っぽくない」ということは成り立たない fact15: もし仮になにがしかの物は躍らすとすると「鈍いかあるいはそれは白菜畑でないかもしくは両方ともだ」ということは成り立たない ; $hypothesis$ = 「仮に「点Ｍだ」ということは成り立つなら「読み辛いかまたは青っぽくない」ということは間違っている」ものはある ; $proof$ = 
fact14 -> hypothesis; __PROVED__
事実1: 「仮に「点Ｍである」ということは事実であるなら青っぽい」物はある
事実2: その一プラスは点Ｍだとすると「それは読み辛いかまたは青っぽいかあるいは両方だ」ということは成り立たない
事実3: 「もし仮に財政収支であるなら「乾杯するか模式でないかまたはどちらもだ」ということは間違いである」物はある
事実4: 「もしも点Ｍならば「読み辛いかもしくは青っぽい」ということは偽である」ものはある
事実5: 仮にその一プラスが点Ｍであるとすれば読み辛いかあるいは青っぽくないかあるいは両方ともである
事実6: その一プラスは点Ｍだとすると「それは飲み方するかもしくはそれは表書きしないか両方だ」ということは本当でない
事実7: もし仮にその一プラスは点Ｍであるとすると「「それは厚過ぎるかもしくは御教えしないかまたはどちらもである」ということは確かだ」ということは成り立たない
事実8: もしも「その一プラスは岡豊城襲撃である」ということは本当だとすれば「それは後期旧石器時代終末であるかもしくはそれは小高くないかどちらもだ」ということは間違っている
事実9: 仮に「その一プラスは差配である」ということは正しいなら「それは読み辛いかまたはそれは苦慮しないかまたはどちらもだ」ということは間違いである
事実10: 「もしも点Ｍであるなら読み辛いということはない」物はある
事実11: もしもその一プラスが点Ｍならば読み辛くない
事実12: あの一個大隊は読み辛いとすれば「それは起こし易いかもしくは重なり合わない」ということは真実であるということはない
事実13: 「もしも点Ｍであるなら読み辛いかあるいは青っぽくないかもしくは両方ともな」物はある
事実14: その一プラスは点Ｍだとしたら「読み辛いかあるいはそれは青っぽくない」ということは成り立たない
事実15: もし仮になにがしかの物は躍らすとすると「鈍いかあるいはそれは白菜畑でないかもしくは両方ともだ」ということは成り立たない

仮説: 「仮に「点Ｍだ」ということは成り立つなら「読み辛いかまたは青っぽくない」ということは間違っている」ものはある
1. 事実14から、仮説が導かれる

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