「もし仮に出易いかあるいは動き難いということはないなら「ノーマルスピードでない」ということは確かな」物はある
fact1: 「もし情報収集するか貰い泣きするということはないとすれば勝ち取る」物はある fact2: 「もし仮に出易いかまたは動き難くないとしたらノーマルスピードである」ものはある fact3: 「もし「出易い」ということは事実ならばノーマルスピードだということはない」物はある fact4: もしこの水平ボーリングは出易いかあるいは動き難くないかまたは両方ともであるとすればノーマルスピードである fact5: もしもこの水平ボーリングが祟るかあるいはそれは春らしくないかまたは両方であるならば「それは叩き殺さない」ということは事実だ fact6: なにかは呆気ないかまたは僅差でないならばそれは小血管でない fact7: この枳実は子育てするかあるいは出易くないとすると「それは刺々しかない」ということは間違っていない fact8: なんらかのものがノーマルスピードであるかあるいは社会主義化でないかもしくはどちらもであるならば次書でない fact9: 「この水平ボーリングは動き難くない」ということは成り立てばノーマルスピードでない fact10: この水平ボーリングが出易いかあるいは動き難くないならばノーマルスピードでない fact11: 「もしも動き難くないならノーマルスピードでない」ものはある fact12: 「もし仮に出易いかあるいは動き難いならばノーマルスピードでない」物はある
fact10 -> hypothesis;
fact10 -> hypothesis;
その経済安定本部がノーマルスピードであるか社会主義化であるということはないとすれば次書でない
fact13 -> hypothesis;
$facts$ = fact1: 「もし情報収集するか貰い泣きするということはないとすれば勝ち取る」物はある fact2: 「もし仮に出易いかまたは動き難くないとしたらノーマルスピードである」ものはある fact3: 「もし「出易い」ということは事実ならばノーマルスピードだということはない」物はある fact4: もしこの水平ボーリングは出易いかあるいは動き難くないかまたは両方ともであるとすればノーマルスピードである fact5: もしもこの水平ボーリングが祟るかあるいはそれは春らしくないかまたは両方であるならば「それは叩き殺さない」ということは事実だ fact6: なにかは呆気ないかまたは僅差でないならばそれは小血管でない fact7: この枳実は子育てするかあるいは出易くないとすると「それは刺々しかない」ということは間違っていない fact8: なんらかのものがノーマルスピードであるかあるいは社会主義化でないかもしくはどちらもであるならば次書でない fact9: 「この水平ボーリングは動き難くない」ということは成り立てばノーマルスピードでない fact10: この水平ボーリングが出易いかあるいは動き難くないならばノーマルスピードでない fact11: 「もしも動き難くないならノーマルスピードでない」ものはある fact12: 「もし仮に出易いかあるいは動き難いならばノーマルスピードでない」物はある ; $hypothesis$ = 「もし仮に出易いかあるいは動き難いということはないなら「ノーマルスピードでない」ということは確かな」物はある ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: 「もし情報収集するか貰い泣きするということはないとすれば勝ち取る」物はある
事実2: 「もし仮に出易いかまたは動き難くないとしたらノーマルスピードである」ものはある
事実3: 「もし「出易い」ということは事実ならばノーマルスピードだということはない」物はある
事実4: もしこの水平ボーリングは出易いかあるいは動き難くないかまたは両方ともであるとすればノーマルスピードである
事実5: もしもこの水平ボーリングが祟るかあるいはそれは春らしくないかまたは両方であるならば「それは叩き殺さない」ということは事実だ
事実6: なにかは呆気ないかまたは僅差でないならばそれは小血管でない
事実7: この枳実は子育てするかあるいは出易くないとすると「それは刺々しかない」ということは間違っていない
事実8: なんらかのものがノーマルスピードであるかあるいは社会主義化でないかもしくはどちらもであるならば次書でない
事実9: 「この水平ボーリングは動き難くない」ということは成り立てばノーマルスピードでない
事実10: この水平ボーリングが出易いかあるいは動き難くないならばノーマルスピードでない
事実11: 「もしも動き難くないならノーマルスピードでない」ものはある
事実12: 「もし仮に出易いかあるいは動き難いならばノーマルスピードでない」物はある

仮説: 「もし仮に出易いかあるいは動き難いということはないなら「ノーマルスピードでない」ということは確かな」物はある
1. 事実10から、仮説が導かれる

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