仮に「あの首尾一貫性は再発し易くないしおまけに心苦しくない」ということは成り立たないならばそれは賢し
fact1: 仮に「とある物は再発し易くないし加えてそれは心苦しくない」ということは成り立つということはないならば賢し fact2: もし「あのヘム色素はマヨネーズでないけど再発し易い」ということは本当であるということはないならそれは与え易い fact3: もしも再発し易くないものが心苦しくないとすれば賢し fact4: もし「あの首尾一貫性は得難い」ということは成り立つとすればそれは再発し易い fact5: もし仮に「なにがしかのものは再発し易いということはないが心苦しい」ということは成り立たないとすればそれは賢し fact6: もしあの首尾一貫性は賢しないしまた印象深くないならそれは御祈りする fact7: 「ある物は人らしくないし加えて寝苦しいということはない」ということは間違っているなら筆舌だ fact8: なんらかのものがスクデットだということはなくて広がり難いということはないならばそれは領収書偽造だ fact9: なんらかのものが再発し易いならそれは賢し fact10: 仮にその利用者本人がＢスティ・ボーイズでないし加えて自動化するということはないとすればそれは地域意識だ fact11: 遣る瀬無くない物は補欠選手でないとするとファイユだ fact12: 仮に何かは引き摺るということはないし更にそれは合わせ辛くないとしたら「それは遣る瀬無い」ということは正しい
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: 仮に「とある物は再発し易くないし加えてそれは心苦しくない」ということは成り立つということはないならば賢し fact2: もし「あのヘム色素はマヨネーズでないけど再発し易い」ということは本当であるということはないならそれは与え易い fact3: もしも再発し易くないものが心苦しくないとすれば賢し fact4: もし「あの首尾一貫性は得難い」ということは成り立つとすればそれは再発し易い fact5: もし仮に「なにがしかのものは再発し易いということはないが心苦しい」ということは成り立たないとすればそれは賢し fact6: もしあの首尾一貫性は賢しないしまた印象深くないならそれは御祈りする fact7: 「ある物は人らしくないし加えて寝苦しいということはない」ということは間違っているなら筆舌だ fact8: なんらかのものがスクデットだということはなくて広がり難いということはないならばそれは領収書偽造だ fact9: なんらかのものが再発し易いならそれは賢し fact10: 仮にその利用者本人がＢスティ・ボーイズでないし加えて自動化するということはないとすればそれは地域意識だ fact11: 遣る瀬無くない物は補欠選手でないとするとファイユだ fact12: 仮に何かは引き摺るということはないし更にそれは合わせ辛くないとしたら「それは遣る瀬無い」ということは正しい ; $hypothesis$ = 仮に「あの首尾一貫性は再発し易くないしおまけに心苦しくない」ということは成り立たないならばそれは賢し ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 仮に「とある物は再発し易くないし加えてそれは心苦しくない」ということは成り立つということはないならば賢し
事実2: もし「あのヘム色素はマヨネーズでないけど再発し易い」ということは本当であるということはないならそれは与え易い
事実3: もしも再発し易くないものが心苦しくないとすれば賢し
事実4: もし「あの首尾一貫性は得難い」ということは成り立つとすればそれは再発し易い
事実5: もし仮に「なにがしかのものは再発し易いということはないが心苦しい」ということは成り立たないとすればそれは賢し
事実6: もしあの首尾一貫性は賢しないしまた印象深くないならそれは御祈りする
事実7: 「ある物は人らしくないし加えて寝苦しいということはない」ということは間違っているなら筆舌だ
事実8: なんらかのものがスクデットだということはなくて広がり難いということはないならばそれは領収書偽造だ
事実9: なんらかのものが再発し易いならそれは賢し
事実10: 仮にその利用者本人がＢスティ・ボーイズでないし加えて自動化するということはないとすればそれは地域意識だ
事実11: 遣る瀬無くない物は補欠選手でないとするとファイユだ
事実12: 仮に何かは引き摺るということはないし更にそれは合わせ辛くないとしたら「それは遣る瀬無い」ということは正しい

仮説: 仮に「あの首尾一貫性は再発し易くないしおまけに心苦しくない」ということは成り立たないならばそれは賢し
1. 事実1から、仮説が導かれる

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