「もし仮に密集市街地だということはないとすると駆け落ちする」物はある
fact1: 「もし仮に饐えないならアロー号である」物はある fact2: もしその反対者は密集市街地でないとするとそれは駆け落ちする fact3: もしその反対者は会社間でないとしたら駆け落ちする fact4: 「密集市街地ならば駆け落ちする」物はある fact5: もし仮にその反対者が基本テクならばそれは密集市街地である fact6: 「もし麦でないとしたら其れっぽい」物はある fact7: もしもその反対者は密集市街地であるとすれば「それは駆け落ちする」ということは確かである fact8: 「もし打ち出さないならしいんとする」ものはある fact9: 仮にその乙代は密集市街地であるとすれば多項制である fact10: 仮にその反対者は光合成するとしたら「密集市街地である」ということは成り立つ fact11: 仮にその反対者が密集市街地だとしたらそれはヘルスプロモーションだ fact12: この単年度主義が考え込まないとするとそれは駆け落ちする fact13: なんらかのものが繰り上がらないとするとそれは其れっぽい fact14: この友人間は萎えないなら「駆け落ちする」ということは確かである fact15: もし仮にとある物が薄れ始めないならばそれは果てし無い fact16: もし仮にそのガッツポーズは密集市街地だとしたら「それは弄り撫でる」ということは確かだ fact17: もし仮にその反対者がエルス句でないとすればそれは一世紀後半である fact18: 「もし仮に異分子でないとすれば大観覧車な」物はある fact19: 「比較し難いならば悔しがる」ものはある fact20: 「もし仮に這い上るなら通水する」ものはある fact21: もしもその反対者は二番町でないなら「転ぶ」ということは成り立つ
fact2 -> hypothesis;
fact2 -> hypothesis;
「繰り上がらないとしたら其れっぽい」物はある
fact22 -> int1: その保険料収入が繰り上がらないなら其れっぽい; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に饐えないならアロー号である」物はある fact2: もしその反対者は密集市街地でないとするとそれは駆け落ちする fact3: もしその反対者は会社間でないとしたら駆け落ちする fact4: 「密集市街地ならば駆け落ちする」物はある fact5: もし仮にその反対者が基本テクならばそれは密集市街地である fact6: 「もし麦でないとしたら其れっぽい」物はある fact7: もしもその反対者は密集市街地であるとすれば「それは駆け落ちする」ということは確かである fact8: 「もし打ち出さないならしいんとする」ものはある fact9: 仮にその乙代は密集市街地であるとすれば多項制である fact10: 仮にその反対者は光合成するとしたら「密集市街地である」ということは成り立つ fact11: 仮にその反対者が密集市街地だとしたらそれはヘルスプロモーションだ fact12: この単年度主義が考え込まないとするとそれは駆け落ちする fact13: なんらかのものが繰り上がらないとするとそれは其れっぽい fact14: この友人間は萎えないなら「駆け落ちする」ということは確かである fact15: もし仮にとある物が薄れ始めないならばそれは果てし無い fact16: もし仮にそのガッツポーズは密集市街地だとしたら「それは弄り撫でる」ということは確かだ fact17: もし仮にその反対者がエルス句でないとすればそれは一世紀後半である fact18: 「もし仮に異分子でないとすれば大観覧車な」物はある fact19: 「比較し難いならば悔しがる」ものはある fact20: 「もし仮に這い上るなら通水する」ものはある fact21: もしもその反対者は二番町でないなら「転ぶ」ということは成り立つ ; $hypothesis$ = 「もし仮に密集市街地だということはないとすると駆け落ちする」物はある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「もし仮に饐えないならアロー号である」物はある
事実2: もしその反対者は密集市街地でないとするとそれは駆け落ちする
事実3: もしその反対者は会社間でないとしたら駆け落ちする
事実4: 「密集市街地ならば駆け落ちする」物はある
事実5: もし仮にその反対者が基本テクならばそれは密集市街地である
事実6: 「もし麦でないとしたら其れっぽい」物はある
事実7: もしもその反対者は密集市街地であるとすれば「それは駆け落ちする」ということは確かである
事実8: 「もし打ち出さないならしいんとする」ものはある
事実9: 仮にその乙代は密集市街地であるとすれば多項制である
事実10: 仮にその反対者は光合成するとしたら「密集市街地である」ということは成り立つ
事実11: 仮にその反対者が密集市街地だとしたらそれはヘルスプロモーションだ
事実12: この単年度主義が考え込まないとするとそれは駆け落ちする
事実13: なんらかのものが繰り上がらないとするとそれは其れっぽい
事実14: この友人間は萎えないなら「駆け落ちする」ということは確かである
事実15: もし仮にとある物が薄れ始めないならばそれは果てし無い
事実16: もし仮にそのガッツポーズは密集市街地だとしたら「それは弄り撫でる」ということは確かだ
事実17: もし仮にその反対者がエルス句でないとすればそれは一世紀後半である
事実18: 「もし仮に異分子でないとすれば大観覧車な」物はある
事実19: 「比較し難いならば悔しがる」ものはある
事実20: 「もし仮に這い上るなら通水する」ものはある
事実21: もしもその反対者は二番町でないなら「転ぶ」ということは成り立つ

仮説: 「もし仮に密集市街地だということはないとすると駆け落ちする」物はある
1. 事実2から、仮説が導かれる

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