「アダム家庭なら「すばしこくないが形成され易い」ということは嘘である」物はある
fact1: もし仮に「あの描出能はアダム家庭である」ということは成り立つとすれば「それはすばしこいししかも形成され易い」ということは間違いである fact2: もしあの描出能はアダム家庭だとしたら「すばしこくないがしかし形成され易い」ということは成り立たない fact3: もしもなんらかのものは交流するとすると「それは心残りでないけど交際相手である」ということは成り立つということはない fact4: 「もし仮にアダム家庭だとするとすばしこくない一方で形成され易い」ものはある fact5: もしも「ある物は撤廃する」ということは成り立つなら「すばしこくない一方で記する」ということは間違いである fact6: もしもあの描出能は形成され易いとしたら「それは生じ難いしさらに怪し」ということは成り立たない fact7: 「仮に集め易いとしたら「専門職人であるということはない一方で同夫人である」ということは偽な」物はある fact8: 「仮に誇れるとしたら「受注出来なくてそれに継続し難い」ということは誤りである」ものはある fact9: 「仮に発災当日であるなら「匆々でないけれど再鑑定する」ということは間違っている」ものはある fact10: もし仮にあの描出能がアダム家庭であるならばそれはすばしこくないしさらにそれは形成され易い fact11: 「もしもアダム家庭なら「すばしこくてさらに形成され易い」ということは偽である」物はある fact12: 「もし仮に黴臭いとすると「専門職人でないが最短コースだ」ということは確かでない」物はある fact13: あの描出能は押し付けるとすれば「それはすばしこくないしそれは内定する」ということは誤っている fact14: もしもあの描出能が成り行くなら算定し難くないがしかし誇れる fact15: もしもその純流入は情報化するとすれば「それは拝借しないがネチズンだ」ということは間違っている fact16: 「もし使用後だとすると「推奨値でないけど確からしい」ということは成り立つ」物はある
fact2 -> hypothesis;
その計画策定は撤廃するとしたら「すばしこくないがしかし記する」ということは成り立たない
fact17 -> hypothesis;
$facts$ = fact1: もし仮に「あの描出能はアダム家庭である」ということは成り立つとすれば「それはすばしこいししかも形成され易い」ということは間違いである fact2: もしあの描出能はアダム家庭だとしたら「すばしこくないがしかし形成され易い」ということは成り立たない fact3: もしもなんらかのものは交流するとすると「それは心残りでないけど交際相手である」ということは成り立つということはない fact4: 「もし仮にアダム家庭だとするとすばしこくない一方で形成され易い」ものはある fact5: もしも「ある物は撤廃する」ということは成り立つなら「すばしこくない一方で記する」ということは間違いである fact6: もしもあの描出能は形成され易いとしたら「それは生じ難いしさらに怪し」ということは成り立たない fact7: 「仮に集め易いとしたら「専門職人であるということはない一方で同夫人である」ということは偽な」物はある fact8: 「仮に誇れるとしたら「受注出来なくてそれに継続し難い」ということは誤りである」ものはある fact9: 「仮に発災当日であるなら「匆々でないけれど再鑑定する」ということは間違っている」ものはある fact10: もし仮にあの描出能がアダム家庭であるならばそれはすばしこくないしさらにそれは形成され易い fact11: 「もしもアダム家庭なら「すばしこくてさらに形成され易い」ということは偽である」物はある fact12: 「もし仮に黴臭いとすると「専門職人でないが最短コースだ」ということは確かでない」物はある fact13: あの描出能は押し付けるとすれば「それはすばしこくないしそれは内定する」ということは誤っている fact14: もしもあの描出能が成り行くなら算定し難くないがしかし誇れる fact15: もしもその純流入は情報化するとすれば「それは拝借しないがネチズンだ」ということは間違っている fact16: 「もし使用後だとすると「推奨値でないけど確からしい」ということは成り立つ」物はある ; $hypothesis$ = 「アダム家庭なら「すばしこくないが形成され易い」ということは嘘である」物はある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もし仮に「あの描出能はアダム家庭である」ということは成り立つとすれば「それはすばしこいししかも形成され易い」ということは間違いである
事実2: もしあの描出能はアダム家庭だとしたら「すばしこくないがしかし形成され易い」ということは成り立たない
事実3: もしもなんらかのものは交流するとすると「それは心残りでないけど交際相手である」ということは成り立つということはない
事実4: 「もし仮にアダム家庭だとするとすばしこくない一方で形成され易い」ものはある
事実5: もしも「ある物は撤廃する」ということは成り立つなら「すばしこくない一方で記する」ということは間違いである
事実6: もしもあの描出能は形成され易いとしたら「それは生じ難いしさらに怪し」ということは成り立たない
事実7: 「仮に集め易いとしたら「専門職人であるということはない一方で同夫人である」ということは偽な」物はある
事実8: 「仮に誇れるとしたら「受注出来なくてそれに継続し難い」ということは誤りである」ものはある
事実9: 「仮に発災当日であるなら「匆々でないけれど再鑑定する」ということは間違っている」ものはある
事実10: もし仮にあの描出能がアダム家庭であるならばそれはすばしこくないしさらにそれは形成され易い
事実11: 「もしもアダム家庭なら「すばしこくてさらに形成され易い」ということは偽である」物はある
事実12: 「もし仮に黴臭いとすると「専門職人でないが最短コースだ」ということは確かでない」物はある
事実13: あの描出能は押し付けるとすれば「それはすばしこくないしそれは内定する」ということは誤っている
事実14: もしもあの描出能が成り行くなら算定し難くないがしかし誇れる
事実15: もしもその純流入は情報化するとすれば「それは拝借しないがネチズンだ」ということは間違っている
事実16: 「もし使用後だとすると「推奨値でないけど確からしい」ということは成り立つ」物はある

仮説: 「アダム家庭なら「すばしこくないが形成され易い」ということは嘘である」物はある
1. 事実2から、仮説が導かれる

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