「オーバーロードしないか託すかもしくは両方だとしたら工事する」ものはある
fact1: 「もしも面目無いかあるいは濃いなら「意地悪い」ということは確かな」ものはある fact2: このモデルケースは等しということはないかまたは格納出来るかあるいは両方ともであるとしたらそれは託す fact3: 「もし仮に様式化するか派閥であるか両方ならば引き抜く」物はある fact4: もしもその女形が入り乱れないかまたはそれは気付き難いとすれば「海外公演だ」ということは正しい fact5: もしこの東京座がオーバーロードしないとすればそれは工事する fact6: 「もしも商人らしいとしたら心弱い」物はある fact7: 「もし自然法則でないか略奪するかもしくは両方だとすれば矧ぐ」物はある fact8: 仮にこの東京座が甘ーくないかもしくはそれはオーバーロードすれば「新来者だ」ということは本当である fact9: 「もしも格好良くないかまたは十一時頃であるかまたはどちらもであるならば濃い」ものはある fact10: 「仮に「オーバーロードしない」ということは誤りでないとすると工事する」ものはある fact11: もしもこの東京座は衣替えしないかもしくは機能分化であるかもしくは両方ともだとすればそれは煮詰まる fact12: 「もしも痛ましいとしたら「持ち合う」ということは成り立つ」ものはある fact13: もしある物が御待たせ致さないかあるいは公開出来るかあるいは両方であるならばそれは怒りっぽい fact14: もしもこの東京座がオーバーロードしないかあるいは託すか両方だとすれば工事する fact15: 「もし嫌味ったらしいということはないかもしくは現われ難いか両方ともであるとしたら低体温群である」物はある fact16: 「仮に重畳しないかあるいはけばけばしいかまたはどちらもだとすれば付け難い」物はある fact17: 「民間団体だとすれば象徴する」ものはある fact18: 「身籠もらないか熟読するかもしくはどちらもであるとすると解し難い」物はある
fact14 -> hypothesis;
「仮に御待たせ致さないかまたは公開出来るかもしくは両方ともであるならば怒りっぽい」物はある
fact19 -> int1: もし「あの医療費は御待たせ致すということはないか公開出来る」ということは成り立つとしたら「それは怒りっぽい」ということは真実である; int1 -> hypothesis;
$facts$ = fact1: 「もしも面目無いかあるいは濃いなら「意地悪い」ということは確かな」ものはある fact2: このモデルケースは等しということはないかまたは格納出来るかあるいは両方ともであるとしたらそれは託す fact3: 「もし仮に様式化するか派閥であるか両方ならば引き抜く」物はある fact4: もしもその女形が入り乱れないかまたはそれは気付き難いとすれば「海外公演だ」ということは正しい fact5: もしこの東京座がオーバーロードしないとすればそれは工事する fact6: 「もしも商人らしいとしたら心弱い」物はある fact7: 「もし自然法則でないか略奪するかもしくは両方だとすれば矧ぐ」物はある fact8: 仮にこの東京座が甘ーくないかもしくはそれはオーバーロードすれば「新来者だ」ということは本当である fact9: 「もしも格好良くないかまたは十一時頃であるかまたはどちらもであるならば濃い」ものはある fact10: 「仮に「オーバーロードしない」ということは誤りでないとすると工事する」ものはある fact11: もしもこの東京座は衣替えしないかもしくは機能分化であるかもしくは両方ともだとすればそれは煮詰まる fact12: 「もしも痛ましいとしたら「持ち合う」ということは成り立つ」ものはある fact13: もしある物が御待たせ致さないかあるいは公開出来るかあるいは両方であるならばそれは怒りっぽい fact14: もしもこの東京座がオーバーロードしないかあるいは託すか両方だとすれば工事する fact15: 「もし嫌味ったらしいということはないかもしくは現われ難いか両方ともであるとしたら低体温群である」物はある fact16: 「仮に重畳しないかあるいはけばけばしいかまたはどちらもだとすれば付け難い」物はある fact17: 「民間団体だとすれば象徴する」ものはある fact18: 「身籠もらないか熟読するかもしくはどちらもであるとすると解し難い」物はある ; $hypothesis$ = 「オーバーロードしないか託すかもしくは両方だとしたら工事する」ものはある ; $proof$ = 
fact14 -> hypothesis; __PROVED__
事実1: 「もしも面目無いかあるいは濃いなら「意地悪い」ということは確かな」ものはある
事実2: このモデルケースは等しということはないかまたは格納出来るかあるいは両方ともであるとしたらそれは託す
事実3: 「もし仮に様式化するか派閥であるか両方ならば引き抜く」物はある
事実4: もしもその女形が入り乱れないかまたはそれは気付き難いとすれば「海外公演だ」ということは正しい
事実5: もしこの東京座がオーバーロードしないとすればそれは工事する
事実6: 「もしも商人らしいとしたら心弱い」物はある
事実7: 「もし自然法則でないか略奪するかもしくは両方だとすれば矧ぐ」物はある
事実8: 仮にこの東京座が甘ーくないかもしくはそれはオーバーロードすれば「新来者だ」ということは本当である
事実9: 「もしも格好良くないかまたは十一時頃であるかまたはどちらもであるならば濃い」ものはある
事実10: 「仮に「オーバーロードしない」ということは誤りでないとすると工事する」ものはある
事実11: もしもこの東京座は衣替えしないかもしくは機能分化であるかもしくは両方ともだとすればそれは煮詰まる
事実12: 「もしも痛ましいとしたら「持ち合う」ということは成り立つ」ものはある
事実13: もしある物が御待たせ致さないかあるいは公開出来るかあるいは両方であるならばそれは怒りっぽい
事実14: もしもこの東京座がオーバーロードしないかあるいは託すか両方だとすれば工事する
事実15: 「もし嫌味ったらしいということはないかもしくは現われ難いか両方ともであるとしたら低体温群である」物はある
事実16: 「仮に重畳しないかあるいはけばけばしいかまたはどちらもだとすれば付け難い」物はある
事実17: 「民間団体だとすれば象徴する」ものはある
事実18: 「身籠もらないか熟読するかもしくはどちらもであるとすると解し難い」物はある

仮説: 「オーバーロードしないか託すかもしくは両方だとしたら工事する」ものはある
1. 事実14から、仮説が導かれる

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