「もし仮に「油っぽくなくてかつ憎しない」ということは成り立たないとすると共同事業であるということはない」ものはある
fact1: もし仮に「なんらかのものは恐ろしくないし更に走り易くない」ということは正しくないとしたら粘土遊びでない fact2: 「もし仮に「この民宿は油っぽい」ということは成り立てばこの民宿は再挑戦だということはない」ということは事実である fact3: 「もし仮に首尾良いとすれば「怒り捲るということはない」ということは成り立つ」ものはある fact4: 「もし「福音館書店であるということはないけど見過ごし難い」ということは嘘だとしたら取っ付き難くない」ものはある fact5: 「もし「ＤＶ編集でないしまた複製出来る」ということは成り立たないなら遅くない」物はある fact6: 「もし油っぽいということはないしかつ憎しということはないとしたら共同事業でない」ものはある fact7: 「「もしも「油っぽいということはないしさらに憎しない」ということは成り立たないならば共同事業な」ものはある」ということは事実である fact8: 「もし仮に桃花だとすると「捕まえない」ということは本当である」物はある fact9: 「もし仮に叱咤激励でないしロング・ヘアでないとしたら切り分けでない」物はある fact10: 「「恨めしいが久しくない」ということは成り立たないならば両グループでない」物はある fact11: もし「この退廃は分離し易くないししかも黄色くない」ということは成り立たないなら油っぽい fact12: 「あの一生物は光沢度だということはなくて永代供養墓でない」ということは間違っているならそれは共同事業でない fact13: 「この退廃は油っぽいということはなくておまけに憎しない」ということは成り立たないならば共同事業でない fact14: 「もしも「合い難くないし一般顧客でない」ということは成り立たないならば可愛くない」ものはある fact15: もしも「この退廃は油っぽくないしおまけに怒り捲るということはない」ということは成り立たないとすると仕舞い方である
fact13 -> hypothesis;
「仮に「恐ろしくないし走り易いということはない」ということは誤りだとすれば粘土遊びでない」ものはある
fact16 -> int1: 仮に「この均衡処遇モデルは恐ろしくなくてかつ走り易くない」ということは偽だとすれば粘土遊びでない; int1 -> hypothesis;
$facts$ = fact1: もし仮に「なんらかのものは恐ろしくないし更に走り易くない」ということは正しくないとしたら粘土遊びでない fact2: 「もし仮に「この民宿は油っぽい」ということは成り立てばこの民宿は再挑戦だということはない」ということは事実である fact3: 「もし仮に首尾良いとすれば「怒り捲るということはない」ということは成り立つ」ものはある fact4: 「もし「福音館書店であるということはないけど見過ごし難い」ということは嘘だとしたら取っ付き難くない」ものはある fact5: 「もし「ＤＶ編集でないしまた複製出来る」ということは成り立たないなら遅くない」物はある fact6: 「もし油っぽいということはないしかつ憎しということはないとしたら共同事業でない」ものはある fact7: 「「もしも「油っぽいということはないしさらに憎しない」ということは成り立たないならば共同事業な」ものはある」ということは事実である fact8: 「もし仮に桃花だとすると「捕まえない」ということは本当である」物はある fact9: 「もし仮に叱咤激励でないしロング・ヘアでないとしたら切り分けでない」物はある fact10: 「「恨めしいが久しくない」ということは成り立たないならば両グループでない」物はある fact11: もし「この退廃は分離し易くないししかも黄色くない」ということは成り立たないなら油っぽい fact12: 「あの一生物は光沢度だということはなくて永代供養墓でない」ということは間違っているならそれは共同事業でない fact13: 「この退廃は油っぽいということはなくておまけに憎しない」ということは成り立たないならば共同事業でない fact14: 「もしも「合い難くないし一般顧客でない」ということは成り立たないならば可愛くない」ものはある fact15: もしも「この退廃は油っぽくないしおまけに怒り捲るということはない」ということは成り立たないとすると仕舞い方である ; $hypothesis$ = 「もし仮に「油っぽくなくてかつ憎しない」ということは成り立たないとすると共同事業であるということはない」ものはある ; $proof$ = 
fact13 -> hypothesis; __PROVED__
事実1: もし仮に「なんらかのものは恐ろしくないし更に走り易くない」ということは正しくないとしたら粘土遊びでない
事実2: 「もし仮に「この民宿は油っぽい」ということは成り立てばこの民宿は再挑戦だということはない」ということは事実である
事実3: 「もし仮に首尾良いとすれば「怒り捲るということはない」ということは成り立つ」ものはある
事実4: 「もし「福音館書店であるということはないけど見過ごし難い」ということは嘘だとしたら取っ付き難くない」ものはある
事実5: 「もし「ＤＶ編集でないしまた複製出来る」ということは成り立たないなら遅くない」物はある
事実6: 「もし油っぽいということはないしかつ憎しということはないとしたら共同事業でない」ものはある
事実7: 「「もしも「油っぽいということはないしさらに憎しない」ということは成り立たないならば共同事業な」ものはある」ということは事実である
事実8: 「もし仮に桃花だとすると「捕まえない」ということは本当である」物はある
事実9: 「もし仮に叱咤激励でないしロング・ヘアでないとしたら切り分けでない」物はある
事実10: 「「恨めしいが久しくない」ということは成り立たないならば両グループでない」物はある
事実11: もし「この退廃は分離し易くないししかも黄色くない」ということは成り立たないなら油っぽい
事実12: 「あの一生物は光沢度だということはなくて永代供養墓でない」ということは間違っているならそれは共同事業でない
事実13: 「この退廃は油っぽいということはなくておまけに憎しない」ということは成り立たないならば共同事業でない
事実14: 「もしも「合い難くないし一般顧客でない」ということは成り立たないならば可愛くない」ものはある
事実15: もしも「この退廃は油っぽくないしおまけに怒り捲るということはない」ということは成り立たないとすると仕舞い方である

仮説: 「もし仮に「油っぽくなくてかつ憎しない」ということは成り立たないとすると共同事業であるということはない」ものはある
1. 事実13から、仮説が導かれる

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