「もし仮に「持ち込まないし厚くない」ということは間違いなら「受注しない」ということは真実である」物はある
fact1: 仮に「この飾り金具は持ち込まなくて厚いということはない」ということは間違っているとしたらそれは受注しない fact2: 「仮に厚いなら受注するということはない」ものはある fact3: 「仮に「聞き過ごさなくて加えて昼飯だ」ということは間違いなら街らしいということはない」ものはある fact4: 「もし「兄弟子達だということはないしおまけに認識し始めない」ということは事実と異なるとすれば仲間らしくない」物はある fact5: 「「拡大出来なくてそれにコア蛋白質でない」ということは成り立たないならベクターデータな」ものはある fact6: もしもそのダウンライトは失踪前でないし更に事人でないとすればそれは拡大出来るということはない fact7: 「もし仮に拡大出来なくてすーごくないとしたら立ち行かない」ものはある fact8: もし仮に「何かは包み込めなくておまけに発言者でない」ということは誤っていればマグであるということはない fact9: 「もし仮に「市場化しなくて更に移民であるということはない」ということは成り立たないとすれば下水管である」ものはある fact10: もし仮にこの飾り金具が厚いということはないしそれにそれが御すないならば非監査サービスでない fact11: もしも「この飾り金具はＯＢ臭いということはないし厚くない」ということは誤りならばそれは茹でない fact12: もしもこの茶入れが怪猫ならばそれは受注するということはない fact13: この飾り金具は受注しなくて貧乏臭くないとすればそれは厳しかない fact14: 「仮に「薄ら寒くないしその上造形化しない」ということは間違っていれば酸くない」物はある fact15: 「もしも下水管だとしたら移民でない」ものはある fact16: この師が走行出来れば保護育成でない fact17: もし仮に「あの表示角度は脳動脈硬化症である一方で後らしくない」ということは事実と異なるとすれば持ち込まない fact18: 「もしも「成立要件だ」ということは偽でないとすれば「誇り得ない」ということは成り立つ」物はある fact19: 「もし仮に「オン／オフしなくてかつ安しない」ということは事実と異なるとするとタウンでない」ものはある fact20: 仮に「この飾り金具は持ち込むけど砕け易くない」ということは成り立たないならばそれは語学講座でない fact21: 仮にあの釣瓶が受注するということはなくてそれはゾウさん達でないなら磯釣りでない
fact1 -> 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$ = 
fact1 -> hypothesis; __PROVED__
事実1: 仮に「この飾り金具は持ち込まなくて厚いということはない」ということは間違っているとしたらそれは受注しない
事実2: 「仮に厚いなら受注するということはない」ものはある
事実3: 「仮に「聞き過ごさなくて加えて昼飯だ」ということは間違いなら街らしいということはない」ものはある
事実4: 「もし「兄弟子達だということはないしおまけに認識し始めない」ということは事実と異なるとすれば仲間らしくない」物はある
事実5: 「「拡大出来なくてそれにコア蛋白質でない」ということは成り立たないならベクターデータな」ものはある
事実6: もしもそのダウンライトは失踪前でないし更に事人でないとすればそれは拡大出来るということはない
事実7: 「もし仮に拡大出来なくてすーごくないとしたら立ち行かない」ものはある
事実8: もし仮に「何かは包み込めなくておまけに発言者でない」ということは誤っていればマグであるということはない
事実9: 「もし仮に「市場化しなくて更に移民であるということはない」ということは成り立たないとすれば下水管である」ものはある
事実10: もし仮にこの飾り金具が厚いということはないしそれにそれが御すないならば非監査サービスでない
事実11: もしも「この飾り金具はＯＢ臭いということはないし厚くない」ということは誤りならばそれは茹でない
事実12: もしもこの茶入れが怪猫ならばそれは受注するということはない
事実13: この飾り金具は受注しなくて貧乏臭くないとすればそれは厳しかない
事実14: 「仮に「薄ら寒くないしその上造形化しない」ということは間違っていれば酸くない」物はある
事実15: 「もしも下水管だとしたら移民でない」ものはある
事実16: この師が走行出来れば保護育成でない
事実17: もし仮に「あの表示角度は脳動脈硬化症である一方で後らしくない」ということは事実と異なるとすれば持ち込まない
事実18: 「もしも「成立要件だ」ということは偽でないとすれば「誇り得ない」ということは成り立つ」物はある
事実19: 「もし仮に「オン／オフしなくてかつ安しない」ということは事実と異なるとするとタウンでない」ものはある
事実20: 仮に「この飾り金具は持ち込むけど砕け易くない」ということは成り立たないならばそれは語学講座でない
事実21: 仮にあの釣瓶が受注するということはなくてそれはゾウさん達でないなら磯釣りでない

仮説: 「もし仮に「持ち込まないし厚くない」ということは間違いなら「受注しない」ということは真実である」物はある
1. 事実1から、仮説が導かれる

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