「もしも標準原価なら「運び込むかレザーでない」ということは成り立たない」ものはある
fact1: もしその御出来が経口感染すればレザーであるか中強力粉でないかまたは両方である fact2: 「自然放射線なら洋種系統であるかもしくは拙くないかあるいは両方ともである」物はある fact3: 「もし立ち上げ高さであるならば「糾問するかもしくは熱演しないかあるいはどちらもである」ということは誤りな」物はある fact4: 「もしもぴったりするとしたら「誤報道であるかもしくは明きスペースだということはない」ということは成り立たない」物はある fact5: もしその御出来は標準原価だとしたら「運び込むかまたはレザーでない」ということは成り立たない fact6: 「その御出来はむくつけし」ということは正しいとすればレザーでない fact7: 「もしも情報処理上だとしたら口煩い」ものはある fact8: 「円墳であるとすれば同封致す」物はある fact9: 「もし仮に後進性であるならば「想定し難くない」ということは成り立つ」物はある fact10: 「もしもなんらかのものは雲量だとしたら「それは糾問するかもしくは小気味良くないか両方ともである」ということは誤っている」ということは確かだ fact11: もし仮にその御出来は標準原価であるとするとそれはレザーである
fact5 -> hypothesis;
「雲量であるとすれば「糾問するかもしくは小気味良くないか両方だ」ということは嘘な」ものはある
fact12 -> int1: あの心筋細胞は雲量なら「それは糾問するかまたは小気味良くないかまたは両方だ」ということは偽だ; int1 -> hypothesis;
$facts$ = fact1: もしその御出来が経口感染すればレザーであるか中強力粉でないかまたは両方である fact2: 「自然放射線なら洋種系統であるかもしくは拙くないかあるいは両方ともである」物はある fact3: 「もし立ち上げ高さであるならば「糾問するかもしくは熱演しないかあるいはどちらもである」ということは誤りな」物はある fact4: 「もしもぴったりするとしたら「誤報道であるかもしくは明きスペースだということはない」ということは成り立たない」物はある fact5: もしその御出来は標準原価だとしたら「運び込むかまたはレザーでない」ということは成り立たない fact6: 「その御出来はむくつけし」ということは正しいとすればレザーでない fact7: 「もしも情報処理上だとしたら口煩い」ものはある fact8: 「円墳であるとすれば同封致す」物はある fact9: 「もし仮に後進性であるならば「想定し難くない」ということは成り立つ」物はある fact10: 「もしもなんらかのものは雲量だとしたら「それは糾問するかもしくは小気味良くないか両方ともである」ということは誤っている」ということは確かだ fact11: もし仮にその御出来は標準原価であるとするとそれはレザーである ; $hypothesis$ = 「もしも標準原価なら「運び込むかレザーでない」ということは成り立たない」ものはある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: もしその御出来が経口感染すればレザーであるか中強力粉でないかまたは両方である
事実2: 「自然放射線なら洋種系統であるかもしくは拙くないかあるいは両方ともである」物はある
事実3: 「もし立ち上げ高さであるならば「糾問するかもしくは熱演しないかあるいはどちらもである」ということは誤りな」物はある
事実4: 「もしもぴったりするとしたら「誤報道であるかもしくは明きスペースだということはない」ということは成り立たない」物はある
事実5: もしその御出来は標準原価だとしたら「運び込むかまたはレザーでない」ということは成り立たない
事実6: 「その御出来はむくつけし」ということは正しいとすればレザーでない
事実7: 「もしも情報処理上だとしたら口煩い」ものはある
事実8: 「円墳であるとすれば同封致す」物はある
事実9: 「もし仮に後進性であるならば「想定し難くない」ということは成り立つ」物はある
事実10: 「もしもなんらかのものは雲量だとしたら「それは糾問するかもしくは小気味良くないか両方ともである」ということは誤っている」ということは確かだ
事実11: もし仮にその御出来は標準原価であるとするとそれはレザーである

仮説: 「もしも標準原価なら「運び込むかレザーでない」ということは成り立たない」ものはある
1. 事実5から、仮説が導かれる

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