「分割出来るとすれば出品するしささくれであるということはない」物はある
fact1: もし仮にこの退職給付制度は分割出来れば「それは出品するししかもそれはささくれだ」ということは成り立つ fact2: 認め難い物は強しが刻字でない fact3: 「ばあかしいならば広しし加えて結晶する」物はある fact4: 「もし仮に分割出来るとすればささくれでない」ものはある fact5: もしもとある物が分割出来るとしたら出品する一方でささくれでない fact6: 「もしも反するならレスポンスであるしその上カウントする」ものはある fact7: もし仮にこの退職給付制度が分割出来れば出品する fact8: 仮にこのホームケアが出品するとしたらそれは礼節であるがしかし追い込みであるということはない fact9: 「もしも引き攣れるとしたら未亡人な」ものはある fact10: もし仮にこの退職給付制度はささくれであるとすればそれはアスパラでない fact11: 何かは揺るなら立ち入れるしそれは特色だということはない fact12: 「もしも成し難いならば高速バスである」ものはある fact13: 仮にとあるものが分割出来るなら首尾良いが集まり易いということはない fact14: しぶといものはプロジェクト実施である一方で勧善懲悪でない fact15: 「仮に分割出来るとすれば出品する」物はある fact16: 仮にこの退職給付制度が静座だとすれば出品するしおまけにそれは飲み方しない fact17: 「もし分割出来るなら出品するしささくれな」物はある fact18: 「もし仮にがめついとしたら反するしおまけに極低速でない」物はある fact19: 「もし仮に宵闇であるとすると物・事である」ものはある fact20: なんらかの物が揺るとすればそれは通り易いが落成しない
fact5 -> int1: 仮にこの退職給付制度が分割出来るとすればそれは出品するしそれはささくれでない; int1 -> hypothesis;
もしもあの面倒臭がりが揺るとすれば通り易いが落成しない
fact21 -> hypothesis;
$facts$ = fact1: もし仮にこの退職給付制度は分割出来れば「それは出品するししかもそれはささくれだ」ということは成り立つ fact2: 認め難い物は強しが刻字でない fact3: 「ばあかしいならば広しし加えて結晶する」物はある fact4: 「もし仮に分割出来るとすればささくれでない」ものはある fact5: もしもとある物が分割出来るとしたら出品する一方でささくれでない fact6: 「もしも反するならレスポンスであるしその上カウントする」ものはある fact7: もし仮にこの退職給付制度が分割出来れば出品する fact8: 仮にこのホームケアが出品するとしたらそれは礼節であるがしかし追い込みであるということはない fact9: 「もしも引き攣れるとしたら未亡人な」ものはある fact10: もし仮にこの退職給付制度はささくれであるとすればそれはアスパラでない fact11: 何かは揺るなら立ち入れるしそれは特色だということはない fact12: 「もしも成し難いならば高速バスである」ものはある fact13: 仮にとあるものが分割出来るなら首尾良いが集まり易いということはない fact14: しぶといものはプロジェクト実施である一方で勧善懲悪でない fact15: 「仮に分割出来るとすれば出品する」物はある fact16: 仮にこの退職給付制度が静座だとすれば出品するしおまけにそれは飲み方しない fact17: 「もし分割出来るなら出品するしささくれな」物はある fact18: 「もし仮にがめついとしたら反するしおまけに極低速でない」物はある fact19: 「もし仮に宵闇であるとすると物・事である」ものはある fact20: なんらかの物が揺るとすればそれは通り易いが落成しない ; $hypothesis$ = 「分割出来るとすれば出品するしささくれであるということはない」物はある ; $proof$ = 
fact5 -> int1: 仮にこの退職給付制度が分割出来るとすればそれは出品するしそれはささくれでない; int1 -> hypothesis; __PROVED__
事実1: もし仮にこの退職給付制度は分割出来れば「それは出品するししかもそれはささくれだ」ということは成り立つ
事実2: 認め難い物は強しが刻字でない
事実3: 「ばあかしいならば広しし加えて結晶する」物はある
事実4: 「もし仮に分割出来るとすればささくれでない」ものはある
事実5: もしもとある物が分割出来るとしたら出品する一方でささくれでない
事実6: 「もしも反するならレスポンスであるしその上カウントする」ものはある
事実7: もし仮にこの退職給付制度が分割出来れば出品する
事実8: 仮にこのホームケアが出品するとしたらそれは礼節であるがしかし追い込みであるということはない
事実9: 「もしも引き攣れるとしたら未亡人な」ものはある
事実10: もし仮にこの退職給付制度はささくれであるとすればそれはアスパラでない
事実11: 何かは揺るなら立ち入れるしそれは特色だということはない
事実12: 「もしも成し難いならば高速バスである」ものはある
事実13: 仮にとあるものが分割出来るなら首尾良いが集まり易いということはない
事実14: しぶといものはプロジェクト実施である一方で勧善懲悪でない
事実15: 「仮に分割出来るとすれば出品する」物はある
事実16: 仮にこの退職給付制度が静座だとすれば出品するしおまけにそれは飲み方しない
事実17: 「もし分割出来るなら出品するしささくれな」物はある
事実18: 「もし仮にがめついとしたら反するしおまけに極低速でない」物はある
事実19: 「もし仮に宵闇であるとすると物・事である」ものはある
事実20: なんらかの物が揺るとすればそれは通り易いが落成しない

仮説: 「分割出来るとすれば出品するしささくれであるということはない」物はある
1. 事実5から、推論1: "仮にこの退職給付制度が分割出来るとすればそれは出品するしそれはささくれでない"が導かれる
2. 推論1から、仮説が導かれる

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