「もし仮に教育出来るなら「買い易くないかあるいは誘拐するかまたはどちらもである」ということは成り立たない」ものはある
fact1: 仮にあの大聖堂がサンドするとすれば誘拐する fact2: もし仮になんらかのものはかどわかすなら「それは数学離れでないかあるいは誘拐するか両方だ」ということは間違っている fact3: 何らかの物は修得出来るとすれば「それは休養しないかあるいはそれは誘拐する」ということは偽である fact4: 「仮に投与出来るとすれば「勘違いし易くない」ということは真実である」ものはある fact5: もしもこの胎盤は直り難いとしたら「誘拐しないかあるいは代替出来るかもしくはどちらもだ」ということは成り立たない fact6: もし仮にあの脚光が教育出来るとしたら人恋しい fact7: 仮に「あの脚光は攻め切れる」ということは成り立てば「図々しい」ということは正しい fact8: 「仮に「教育出来る」ということは真実であるならば買い易い」ものはある fact9: もし仮にあの脚光が誘拐すればそれは腑甲斐無くないか賑々しいかもしくは両方ともである fact10: 仮にあの脚光は教育出来るなら「それは買い易くないかまたは誘拐するかもしくは両方ともだ」ということは間違っている
fact10 -> hypothesis;
fact10 -> hypothesis;
「その接続部はかどわかす」ということは成り立つとすれば「数学離れでないかあるいは誘拐するかあるいは両方である」ということは間違いである
fact11 -> hypothesis;
$facts$ = fact1: 仮にあの大聖堂がサンドするとすれば誘拐する fact2: もし仮になんらかのものはかどわかすなら「それは数学離れでないかあるいは誘拐するか両方だ」ということは間違っている fact3: 何らかの物は修得出来るとすれば「それは休養しないかあるいはそれは誘拐する」ということは偽である fact4: 「仮に投与出来るとすれば「勘違いし易くない」ということは真実である」ものはある fact5: もしもこの胎盤は直り難いとしたら「誘拐しないかあるいは代替出来るかもしくはどちらもだ」ということは成り立たない fact6: もし仮にあの脚光が教育出来るとしたら人恋しい fact7: 仮に「あの脚光は攻め切れる」ということは成り立てば「図々しい」ということは正しい fact8: 「仮に「教育出来る」ということは真実であるならば買い易い」ものはある fact9: もし仮にあの脚光が誘拐すればそれは腑甲斐無くないか賑々しいかもしくは両方ともである fact10: 仮にあの脚光は教育出来るなら「それは買い易くないかまたは誘拐するかもしくは両方ともだ」ということは間違っている ; $hypothesis$ = 「もし仮に教育出来るなら「買い易くないかあるいは誘拐するかまたはどちらもである」ということは成り立たない」ものはある ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: 仮にあの大聖堂がサンドするとすれば誘拐する
事実2: もし仮になんらかのものはかどわかすなら「それは数学離れでないかあるいは誘拐するか両方だ」ということは間違っている
事実3: 何らかの物は修得出来るとすれば「それは休養しないかあるいはそれは誘拐する」ということは偽である
事実4: 「仮に投与出来るとすれば「勘違いし易くない」ということは真実である」ものはある
事実5: もしもこの胎盤は直り難いとしたら「誘拐しないかあるいは代替出来るかもしくはどちらもだ」ということは成り立たない
事実6: もし仮にあの脚光が教育出来るとしたら人恋しい
事実7: 仮に「あの脚光は攻め切れる」ということは成り立てば「図々しい」ということは正しい
事実8: 「仮に「教育出来る」ということは真実であるならば買い易い」ものはある
事実9: もし仮にあの脚光が誘拐すればそれは腑甲斐無くないか賑々しいかもしくは両方ともである
事実10: 仮にあの脚光は教育出来るなら「それは買い易くないかまたは誘拐するかもしくは両方ともだ」ということは間違っている

仮説: 「もし仮に教育出来るなら「買い易くないかあるいは誘拐するかまたはどちらもである」ということは成り立たない」ものはある
1. 事実10から、仮説が導かれる

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