「もしも有用度で見え易いとしたら痛々しくない」ものはある
fact1: もしその催眠が有用度だしそれが見え易いとすると痛々しい fact2: もしその催眠は有用度でかつ見え易いとすれば「それは痛々しくない」ということは事実である fact3: ある物が駆動するししかも把握し難いとすると「それは人懐こくない」ということは成り立つ fact4: もし仮にあの南方録が反抗するししかも支店長印押捺依頼・押捺記録簿だとするとそれは有用度であるということはない fact5: 「抜け易いしまた手痛いとすると「和むということはない」ということは真実である」物はある fact6: もしもその催眠が標示するしそれに淀み無いとしたら染み入らない fact7: もし仮にその催眠が酸くてかつ捕らえ易いならばそれは有用度でない fact8: 「もしも有用度であるし加えて見え易いならば「痛々しい」ということは成り立つ」物はある fact9: 「もしも把握すし間質組織だとすると交わし合わない」物はある fact10: その催眠が有用度であるししかも出立するとすればそれは頃でない
fact2 -> hypothesis;
この損金算入額は駆動するし把握し難いならば人懐こいということはない
fact11 -> hypothesis;
$facts$ = fact1: もしその催眠が有用度だしそれが見え易いとすると痛々しい fact2: もしその催眠は有用度でかつ見え易いとすれば「それは痛々しくない」ということは事実である fact3: ある物が駆動するししかも把握し難いとすると「それは人懐こくない」ということは成り立つ fact4: もし仮にあの南方録が反抗するししかも支店長印押捺依頼・押捺記録簿だとするとそれは有用度であるということはない fact5: 「抜け易いしまた手痛いとすると「和むということはない」ということは真実である」物はある fact6: もしもその催眠が標示するしそれに淀み無いとしたら染み入らない fact7: もし仮にその催眠が酸くてかつ捕らえ易いならばそれは有用度でない fact8: 「もしも有用度であるし加えて見え易いならば「痛々しい」ということは成り立つ」物はある fact9: 「もしも把握すし間質組織だとすると交わし合わない」物はある fact10: その催眠が有用度であるししかも出立するとすればそれは頃でない ; $hypothesis$ = 「もしも有用度で見え易いとしたら痛々しくない」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしその催眠が有用度だしそれが見え易いとすると痛々しい
事実2: もしその催眠は有用度でかつ見え易いとすれば「それは痛々しくない」ということは事実である
事実3: ある物が駆動するししかも把握し難いとすると「それは人懐こくない」ということは成り立つ
事実4: もし仮にあの南方録が反抗するししかも支店長印押捺依頼・押捺記録簿だとするとそれは有用度であるということはない
事実5: 「抜け易いしまた手痛いとすると「和むということはない」ということは真実である」物はある
事実6: もしもその催眠が標示するしそれに淀み無いとしたら染み入らない
事実7: もし仮にその催眠が酸くてかつ捕らえ易いならばそれは有用度でない
事実8: 「もしも有用度であるし加えて見え易いならば「痛々しい」ということは成り立つ」物はある
事実9: 「もしも把握すし間質組織だとすると交わし合わない」物はある
事実10: その催眠が有用度であるししかも出立するとすればそれは頃でない

仮説: 「もしも有用度で見え易いとしたら痛々しくない」ものはある
1. 事実2から、仮説が導かれる

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