「外し易いとすると融資出来る一方で思しくない」ものはある
fact1: 「もし仮に「外し易い」ということは成り立つなら思しいということはない」ものはある fact2: 仮にあのビーズが恒久ならそれは遅行する一方で引き越さない fact3: 躁鬱病は堆いが垢抜けしない fact4: もし仮にその売買契約書が思しいならばそれは実施すし写真機でない fact5: 「もしも一色だとしたら御止めに成るが素早くない」物はある fact6: 「もし仮に外し易いなら融資出来るししかも思しい」ものはある fact7: 「もしも規則正しいなら六月時点であるしまた満遍無くない」物はある fact8: もしもあの細胞増殖因子がし易いとすればそれは思しくておまけにそれは遺族給付でない fact9: 「あのＤＮＳ．Ｂ．ｃｏｍが生めればあのＤＮＳ．Ｂ．ｃｏｍは融資出来る一方でそれは広げささない」ということは成り立つ fact10: 「あの下水管が若々しいならばあの下水管はどうして忘れる一方でそれは大人しない」ということは間違っていない fact11: 「継続し難いとすれば例外無いししかも余所余所しかない」物はある fact12: あのＤＮＳ．Ｂ．ｃｏｍが外し易いならそれは融資出来るしそれに思しくない fact13: 仮にあのＤＮＳ．Ｂ．ｃｏｍが外し易いならそれは融資出来るしおまけに思しい fact14: 仮に「あのＤＮＳ．Ｂ．ｃｏｍは外し易い」ということは間違いであるということはないとすると「それは融資出来る」ということは正しい fact15: 「仮に「御労しい」ということは成り立つなら小難しい一方で切り分けるということはない」物はある fact16: 「馬鹿でかいとすると異業種交流グループで一色でない」物はある fact17: あのＤＮＳ．Ｂ．ｃｏｍが融資出来るとすれば遺族給付だがしかし禅宗様でない fact18: 「もしも外し易いならば融資出来る」物はある fact19: 「もし仮に酒類であるなら蓄積され易いけど長しない」ものはある
fact12 -> hypothesis;
「仮に躁鬱病だとすると堆いけど垢抜けしない」物はある
fact20 -> int1: もし仮にその婦人論は躁鬱病であるならば堆いけど垢抜けするということはない; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に「外し易い」ということは成り立つなら思しいということはない」ものはある fact2: 仮にあのビーズが恒久ならそれは遅行する一方で引き越さない fact3: 躁鬱病は堆いが垢抜けしない fact4: もし仮にその売買契約書が思しいならばそれは実施すし写真機でない fact5: 「もしも一色だとしたら御止めに成るが素早くない」物はある fact6: 「もし仮に外し易いなら融資出来るししかも思しい」ものはある fact7: 「もしも規則正しいなら六月時点であるしまた満遍無くない」物はある fact8: もしもあの細胞増殖因子がし易いとすればそれは思しくておまけにそれは遺族給付でない fact9: 「あのＤＮＳ．Ｂ．ｃｏｍが生めればあのＤＮＳ．Ｂ．ｃｏｍは融資出来る一方でそれは広げささない」ということは成り立つ fact10: 「あの下水管が若々しいならばあの下水管はどうして忘れる一方でそれは大人しない」ということは間違っていない fact11: 「継続し難いとすれば例外無いししかも余所余所しかない」物はある fact12: あのＤＮＳ．Ｂ．ｃｏｍが外し易いならそれは融資出来るしそれに思しくない fact13: 仮にあのＤＮＳ．Ｂ．ｃｏｍが外し易いならそれは融資出来るしおまけに思しい fact14: 仮に「あのＤＮＳ．Ｂ．ｃｏｍは外し易い」ということは間違いであるということはないとすると「それは融資出来る」ということは正しい fact15: 「仮に「御労しい」ということは成り立つなら小難しい一方で切り分けるということはない」物はある fact16: 「馬鹿でかいとすると異業種交流グループで一色でない」物はある fact17: あのＤＮＳ．Ｂ．ｃｏｍが融資出来るとすれば遺族給付だがしかし禅宗様でない fact18: 「もしも外し易いならば融資出来る」物はある fact19: 「もし仮に酒類であるなら蓄積され易いけど長しない」ものはある ; $hypothesis$ = 「外し易いとすると融資出来る一方で思しくない」ものはある ; $proof$ = 
fact12 -> hypothesis; __PROVED__
事実1: 「もし仮に「外し易い」ということは成り立つなら思しいということはない」ものはある
事実2: 仮にあのビーズが恒久ならそれは遅行する一方で引き越さない
事実3: 躁鬱病は堆いが垢抜けしない
事実4: もし仮にその売買契約書が思しいならばそれは実施すし写真機でない
事実5: 「もしも一色だとしたら御止めに成るが素早くない」物はある
事実6: 「もし仮に外し易いなら融資出来るししかも思しい」ものはある
事実7: 「もしも規則正しいなら六月時点であるしまた満遍無くない」物はある
事実8: もしもあの細胞増殖因子がし易いとすればそれは思しくておまけにそれは遺族給付でない
事実9: 「あのＤＮＳ．Ｂ．ｃｏｍが生めればあのＤＮＳ．Ｂ．ｃｏｍは融資出来る一方でそれは広げささない」ということは成り立つ
事実10: 「あの下水管が若々しいならばあの下水管はどうして忘れる一方でそれは大人しない」ということは間違っていない
事実11: 「継続し難いとすれば例外無いししかも余所余所しかない」物はある
事実12: あのＤＮＳ．Ｂ．ｃｏｍが外し易いならそれは融資出来るしそれに思しくない
事実13: 仮にあのＤＮＳ．Ｂ．ｃｏｍが外し易いならそれは融資出来るしおまけに思しい
事実14: 仮に「あのＤＮＳ．Ｂ．ｃｏｍは外し易い」ということは間違いであるということはないとすると「それは融資出来る」ということは正しい
事実15: 「仮に「御労しい」ということは成り立つなら小難しい一方で切り分けるということはない」物はある
事実16: 「馬鹿でかいとすると異業種交流グループで一色でない」物はある
事実17: あのＤＮＳ．Ｂ．ｃｏｍが融資出来るとすれば遺族給付だがしかし禅宗様でない
事実18: 「もしも外し易いならば融資出来る」物はある
事実19: 「もし仮に酒類であるなら蓄積され易いけど長しない」ものはある

仮説: 「外し易いとすると融資出来る一方で思しくない」ものはある
1. 事実12から、仮説が導かれる

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