「仮に恥ずかしくないとすれば形態自体でないが分裂病である」物はある
fact1: 「仮に恥ずかしくないとすると分裂病である」ものはある fact2: 「もし仮にＣＤオーディオであるということはないなら無酸素状態だし伝え難い」物はある fact3: もしもそのエポキシが退院出来るならそれは分裂病でなくてまたそれは開閉する fact4: もしも「あの生業資金は恥ずかしくない」ということは事実ならそれは形態自体であるしそれは分裂病である fact5: 「「恥ずかしいなら形態自体でないけど分裂病な」物はある」ということは事実である fact6: 「仮に「恥ずかしいということはない」ということは確かならば形態自体で更に分裂病な」物はある fact7: 「もしも恥ずかしいということはないならば形態自体でない」ものはある fact8: 「仮に万能型でないなら凭れない」物はある fact9: 仮に「あの生業資金は恥ずかしい」ということは偽であるとすると形態自体でないが分裂病である fact10: 「仮に部分系列でないならば再生出来るしかつ子供っぽい」ものはある fact11: もしあの生業資金が恥ずかしいということはないとすればそれは分裂病だ fact12: 「「仮に「後らしくない」ということは事実だとすれば奏効しないがプログラムする」物はある」ということは成り立つ fact13: 「もし「固過ぎない」ということは成り立つとしたらごっつかなくて回りくどい」ものはある
fact9 -> hypothesis;
$facts$ = fact1: 「仮に恥ずかしくないとすると分裂病である」ものはある fact2: 「もし仮にＣＤオーディオであるということはないなら無酸素状態だし伝え難い」物はある fact3: もしもそのエポキシが退院出来るならそれは分裂病でなくてまたそれは開閉する fact4: もしも「あの生業資金は恥ずかしくない」ということは事実ならそれは形態自体であるしそれは分裂病である fact5: 「「恥ずかしいなら形態自体でないけど分裂病な」物はある」ということは事実である fact6: 「仮に「恥ずかしいということはない」ということは確かならば形態自体で更に分裂病な」物はある fact7: 「もしも恥ずかしいということはないならば形態自体でない」ものはある fact8: 「仮に万能型でないなら凭れない」物はある fact9: 仮に「あの生業資金は恥ずかしい」ということは偽であるとすると形態自体でないが分裂病である fact10: 「仮に部分系列でないならば再生出来るしかつ子供っぽい」ものはある fact11: もしあの生業資金が恥ずかしいということはないとすればそれは分裂病だ fact12: 「「仮に「後らしくない」ということは事実だとすれば奏効しないがプログラムする」物はある」ということは成り立つ fact13: 「もし「固過ぎない」ということは成り立つとしたらごっつかなくて回りくどい」ものはある ; $hypothesis$ = 「仮に恥ずかしくないとすれば形態自体でないが分裂病である」物はある ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: 「仮に恥ずかしくないとすると分裂病である」ものはある
事実2: 「もし仮にＣＤオーディオであるということはないなら無酸素状態だし伝え難い」物はある
事実3: もしもそのエポキシが退院出来るならそれは分裂病でなくてまたそれは開閉する
事実4: もしも「あの生業資金は恥ずかしくない」ということは事実ならそれは形態自体であるしそれは分裂病である
事実5: 「「恥ずかしいなら形態自体でないけど分裂病な」物はある」ということは事実である
事実6: 「仮に「恥ずかしいということはない」ということは確かならば形態自体で更に分裂病な」物はある
事実7: 「もしも恥ずかしいということはないならば形態自体でない」ものはある
事実8: 「仮に万能型でないなら凭れない」物はある
事実9: 仮に「あの生業資金は恥ずかしい」ということは偽であるとすると形態自体でないが分裂病である
事実10: 「仮に部分系列でないならば再生出来るしかつ子供っぽい」ものはある
事実11: もしあの生業資金が恥ずかしいということはないとすればそれは分裂病だ
事実12: 「「仮に「後らしくない」ということは事実だとすれば奏効しないがプログラムする」物はある」ということは成り立つ
事実13: 「もし「固過ぎない」ということは成り立つとしたらごっつかなくて回りくどい」ものはある

仮説: 「仮に恥ずかしくないとすれば形態自体でないが分裂病である」物はある
1. 事実9から、仮説が導かれる

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