「もし「評価枠組みでない一方で丸っこい」ということは成り立たないならば群生する」物はある
fact1: この創建者は有効茎歩合であるということはないとすると「それは把握し辛い」ということは確かだ fact2: 「もし仮に「二箇月分で如才だ」ということは偽だとしたら活用状況な」物はある fact3: 「もし「「外国銀行等でカモフラージュする」ということは本当である」ということは誤りであるならば入浴する」ものはある fact4: 「仮に「連なる」ということは成り立つとしたら小汚い」ものはある fact5: もし「この創建者はアプローチし易いしおまけにそれは酔い易い」ということは誤っているとするとそれは群生する fact6: もし「なんらかのものは供しないけれど酔い易い」ということは偽だとすると嫉妬深い fact7: 「もし仮に断り状でない一方で着せるとすると「照射する」ということは成り立つ」ものはある fact8: もし仮に「この創建者は評価枠組みでないけれど丸っこい」ということは間違いだとするとそれは群生する fact9: 「もし仮に低抵抗ならば「分かり易い」ということは事実である」ものはある fact10: 「「言い寄るということはないし疑わしい」ということは成り立たないとしたら分散局在する」物はある fact11: 「もしも「決議しなくておまけに見境無い」ということは誤りであるとすれば如才な」ものはある fact12: 「仮に評価枠組みでなくて丸っこいなら群生する」ものはある fact13: 「もし「評価枠組みだ」ということは事実であるとすれば群生する」物はある fact14: この創建者は評価枠組みであるとするとそれは群生する fact15: 「仮に墓参団でないとすると降り止む」ものはある fact16: もし仮にその成就は認め得るということはないとすれば「それは群生する」ということは成り立つ fact17: 「もし「如才であるしかつ妬ましい」ということは間違いなら以来な」物はある fact18: そのラフは置き易くないが以来だとすればそれは丸っこい fact19: もし「この創建者は通年漁獲するし更にそれは丸っこい」ということは誤りだとすると海兵同期である fact20: 「もしも綻ばないしさらにティ・アップするなら太糸な」ものはある
fact8 -> hypothesis;
「もしも「供しない一方で酔い易い」ということは成り立たないならば「嫉妬深い」ということは確かな」物はある
fact21 -> int1: 「その差し押さえ後は供しないが酔い易い」ということは成り立たないとすると「それは嫉妬深い」ということは本当だ; int1 -> hypothesis;
$facts$ = fact1: この創建者は有効茎歩合であるということはないとすると「それは把握し辛い」ということは確かだ fact2: 「もし仮に「二箇月分で如才だ」ということは偽だとしたら活用状況な」物はある fact3: 「もし「「外国銀行等でカモフラージュする」ということは本当である」ということは誤りであるならば入浴する」ものはある fact4: 「仮に「連なる」ということは成り立つとしたら小汚い」ものはある fact5: もし「この創建者はアプローチし易いしおまけにそれは酔い易い」ということは誤っているとするとそれは群生する fact6: もし「なんらかのものは供しないけれど酔い易い」ということは偽だとすると嫉妬深い fact7: 「もし仮に断り状でない一方で着せるとすると「照射する」ということは成り立つ」ものはある fact8: もし仮に「この創建者は評価枠組みでないけれど丸っこい」ということは間違いだとするとそれは群生する fact9: 「もし仮に低抵抗ならば「分かり易い」ということは事実である」ものはある fact10: 「「言い寄るということはないし疑わしい」ということは成り立たないとしたら分散局在する」物はある fact11: 「もしも「決議しなくておまけに見境無い」ということは誤りであるとすれば如才な」ものはある fact12: 「仮に評価枠組みでなくて丸っこいなら群生する」ものはある fact13: 「もし「評価枠組みだ」ということは事実であるとすれば群生する」物はある fact14: この創建者は評価枠組みであるとするとそれは群生する fact15: 「仮に墓参団でないとすると降り止む」ものはある fact16: もし仮にその成就は認め得るということはないとすれば「それは群生する」ということは成り立つ fact17: 「もし「如才であるしかつ妬ましい」ということは間違いなら以来な」物はある fact18: そのラフは置き易くないが以来だとすればそれは丸っこい fact19: もし「この創建者は通年漁獲するし更にそれは丸っこい」ということは誤りだとすると海兵同期である fact20: 「もしも綻ばないしさらにティ・アップするなら太糸な」ものはある ; $hypothesis$ = 「もし「評価枠組みでない一方で丸っこい」ということは成り立たないならば群生する」物はある ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: この創建者は有効茎歩合であるということはないとすると「それは把握し辛い」ということは確かだ
事実2: 「もし仮に「二箇月分で如才だ」ということは偽だとしたら活用状況な」物はある
事実3: 「もし「「外国銀行等でカモフラージュする」ということは本当である」ということは誤りであるならば入浴する」ものはある
事実4: 「仮に「連なる」ということは成り立つとしたら小汚い」ものはある
事実5: もし「この創建者はアプローチし易いしおまけにそれは酔い易い」ということは誤っているとするとそれは群生する
事実6: もし「なんらかのものは供しないけれど酔い易い」ということは偽だとすると嫉妬深い
事実7: 「もし仮に断り状でない一方で着せるとすると「照射する」ということは成り立つ」ものはある
事実8: もし仮に「この創建者は評価枠組みでないけれど丸っこい」ということは間違いだとするとそれは群生する
事実9: 「もし仮に低抵抗ならば「分かり易い」ということは事実である」ものはある
事実10: 「「言い寄るということはないし疑わしい」ということは成り立たないとしたら分散局在する」物はある
事実11: 「もしも「決議しなくておまけに見境無い」ということは誤りであるとすれば如才な」ものはある
事実12: 「仮に評価枠組みでなくて丸っこいなら群生する」ものはある
事実13: 「もし「評価枠組みだ」ということは事実であるとすれば群生する」物はある
事実14: この創建者は評価枠組みであるとするとそれは群生する
事実15: 「仮に墓参団でないとすると降り止む」ものはある
事実16: もし仮にその成就は認め得るということはないとすれば「それは群生する」ということは成り立つ
事実17: 「もし「如才であるしかつ妬ましい」ということは間違いなら以来な」物はある
事実18: そのラフは置き易くないが以来だとすればそれは丸っこい
事実19: もし「この創建者は通年漁獲するし更にそれは丸っこい」ということは誤りだとすると海兵同期である
事実20: 「もしも綻ばないしさらにティ・アップするなら太糸な」ものはある

仮説: 「もし「評価枠組みでない一方で丸っこい」ということは成り立たないならば群生する」物はある
1. 事実8から、仮説が導かれる

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