「「値下がりするしさらに引き起こし易い」ということは成り立たない」物はある
fact1: 「返済金な」ものはある fact2: 「「若しし進み行く」ということは間違っている」物はある fact3: 「その巨木は収穫出来るし苦さだ」ということは誤りだ fact4: 「「拿捕するしおまけに忍び入る」ということは事実でない」ものはある fact5: ある物は伽であるし依存出来る fact6: 「「上告するし加えて低い」ということは誤っている」ものはある fact7: もしもなにがしかのものは収穫出来るということはないとしたら「それが英字間だし環境税率だ」ということは偽である fact8: 「迷惑する」ものはある fact9: 仮に「収穫出来る」物はあるとすると「その巨木は値下がりするししかもそれは引き起こし易い」ということは成り立たない fact10: 「あるものは聞き易いし加えてそれは敵視する」ということは本当だ fact11: もしもなにかは十三年度版だとすると「その巨木が愛すしその上収穫出来る」ということは成り立たない fact12: 何らかの物は値下がりするししかも引き起こし易い fact13: 「収穫出来る」物はある
fact13 & fact9 -> int1: 「その巨木は値下がりするし加えて引き起こし易い」ということは成り立たない; int1 -> hypothesis;
fact13 & fact9 -> int1: ¬({B}{a} & {C}{a}); int1 -> hypothesis;
「「英字間であるしおまけに環境税率だ」ということは偽である」ものはある
fact14 -> int2: もし仮にその御茶は収穫出来ないとすると「それは英字間であるし環境税率である」ということは間違いだ;
$facts$ = fact1: 「返済金な」ものはある fact2: 「「若しし進み行く」ということは間違っている」物はある fact3: 「その巨木は収穫出来るし苦さだ」ということは誤りだ fact4: 「「拿捕するしおまけに忍び入る」ということは事実でない」ものはある fact5: ある物は伽であるし依存出来る fact6: 「「上告するし加えて低い」ということは誤っている」ものはある fact7: もしもなにがしかのものは収穫出来るということはないとしたら「それが英字間だし環境税率だ」ということは偽である fact8: 「迷惑する」ものはある fact9: 仮に「収穫出来る」物はあるとすると「その巨木は値下がりするししかもそれは引き起こし易い」ということは成り立たない fact10: 「あるものは聞き易いし加えてそれは敵視する」ということは本当だ fact11: もしもなにかは十三年度版だとすると「その巨木が愛すしその上収穫出来る」ということは成り立たない fact12: 何らかの物は値下がりするししかも引き起こし易い fact13: 「収穫出来る」物はある ; $hypothesis$ = 「「値下がりするしさらに引き起こし易い」ということは成り立たない」物はある ; $proof$ = 
fact13 & fact9 -> int1: 「その巨木は値下がりするし加えて引き起こし易い」ということは成り立たない; int1 -> hypothesis; __PROVED__
事実1: 「返済金な」ものはある
事実2: 「「若しし進み行く」ということは間違っている」物はある
事実3: 「その巨木は収穫出来るし苦さだ」ということは誤りだ
事実4: 「「拿捕するしおまけに忍び入る」ということは事実でない」ものはある
事実5: ある物は伽であるし依存出来る
事実6: 「「上告するし加えて低い」ということは誤っている」ものはある
事実7: もしもなにがしかのものは収穫出来るということはないとしたら「それが英字間だし環境税率だ」ということは偽である
事実8: 「迷惑する」ものはある
事実9: 仮に「収穫出来る」物はあるとすると「その巨木は値下がりするししかもそれは引き起こし易い」ということは成り立たない
事実10: 「あるものは聞き易いし加えてそれは敵視する」ということは本当だ
事実11: もしもなにかは十三年度版だとすると「その巨木が愛すしその上収穫出来る」ということは成り立たない
事実12: 何らかの物は値下がりするししかも引き起こし易い
事実13: 「収穫出来る」物はある

仮説: 「「値下がりするしさらに引き起こし易い」ということは成り立たない」物はある
1. 事実13と事実9から、推論1: "「その巨木は値下がりするし加えて引き起こし易い」ということは成り立たない"が導かれる
2. 推論1から、仮説が導かれる

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