「もしも小賢しくないならば「満喫だということはなくてかつ断り続けない」ということは誤っている」ものはある
fact1: もしある物は小賢しくないとしたら「それは満喫でなくて断り続ける」ということは成り立たない fact2: 「「小賢しくないなら「満喫だけれど断り続けない」ということは事実と異なる」ものはある」ということは確かだ fact3: 「もし混ざらないとしたら「逃げ続けるということはなくて湖北一向一揆でない」ということは成り立たない」ものはある fact4: もしも何かは腹黒くないとすると「怨霊鎮めでそれに後ろめたくない」ということは確かでない fact5: 「もし仮に小賢しくないなら「満喫でなくて断り続ける」ということは嘘である」ものはある fact6: もし仮にその留守番電話は御寂しいならば「それは人間臭くなくて加えて禁止すらない」ということは成り立たない fact7: その留守番電話は笑い飛ばせらないなら「それは譲り受けだということはなくて更にそれは小賢しくない」ということは間違っている fact8: 「小賢しくないとしたら満喫でなくて加えて断り続けない」ものはある fact9: もし仮になにがしかのものは落ちぶれるということはないとすれば「丸坊主でないし加えてそれは市民グループでない」ということは成り立つということはない fact10: 仮にその留守番電話は小賢しくないとしたら「それは程無いけれど振りかぶらない」ということは事実でない fact11: あるものは小賢しいとすれば「満喫でないしさらにそれは断り続けるということはない」ということは成り立たない fact12: 「なにがしかの物は明かせらない」ということは事実であるとすれば「それは含めないしさらに振り切らない」ということは間違っている fact13: 「もし判断し難いならば「分業しなくて加えて内助でない」ということは成り立たない」ものはある fact14: もしあのキーボードは誤解され易いならば「判断し難くないしそれに御寂しくない」ということは成り立たない fact15: 仮にとある物は御忙しくないなら「値下がりしなくてかつそれは丸坊主でない」ということは誤っている fact16: もし仮に「なにかは苦々しかない」ということは成り立つとしたら「俳諧でなくて更にそれは程無くない」ということは間違っている fact17: 仮にとある物は小賢しくないとすると「「満喫でないしおまけに断り続けるということはない」ということは誤りでない」ということは成り立たない
fact17 -> int1: もしその留守番電話は小賢しくないとすれば「満喫でなくてその上断り続けない」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: もしある物は小賢しくないとしたら「それは満喫でなくて断り続ける」ということは成り立たない fact2: 「「小賢しくないなら「満喫だけれど断り続けない」ということは事実と異なる」ものはある」ということは確かだ fact3: 「もし混ざらないとしたら「逃げ続けるということはなくて湖北一向一揆でない」ということは成り立たない」ものはある fact4: もしも何かは腹黒くないとすると「怨霊鎮めでそれに後ろめたくない」ということは確かでない fact5: 「もし仮に小賢しくないなら「満喫でなくて断り続ける」ということは嘘である」ものはある fact6: もし仮にその留守番電話は御寂しいならば「それは人間臭くなくて加えて禁止すらない」ということは成り立たない fact7: その留守番電話は笑い飛ばせらないなら「それは譲り受けだということはなくて更にそれは小賢しくない」ということは間違っている fact8: 「小賢しくないとしたら満喫でなくて加えて断り続けない」ものはある fact9: もし仮になにがしかのものは落ちぶれるということはないとすれば「丸坊主でないし加えてそれは市民グループでない」ということは成り立つということはない fact10: 仮にその留守番電話は小賢しくないとしたら「それは程無いけれど振りかぶらない」ということは事実でない fact11: あるものは小賢しいとすれば「満喫でないしさらにそれは断り続けるということはない」ということは成り立たない fact12: 「なにがしかの物は明かせらない」ということは事実であるとすれば「それは含めないしさらに振り切らない」ということは間違っている fact13: 「もし判断し難いならば「分業しなくて加えて内助でない」ということは成り立たない」ものはある fact14: もしあのキーボードは誤解され易いならば「判断し難くないしそれに御寂しくない」ということは成り立たない fact15: 仮にとある物は御忙しくないなら「値下がりしなくてかつそれは丸坊主でない」ということは誤っている fact16: もし仮に「なにかは苦々しかない」ということは成り立つとしたら「俳諧でなくて更にそれは程無くない」ということは間違っている fact17: 仮にとある物は小賢しくないとすると「「満喫でないしおまけに断り続けるということはない」ということは誤りでない」ということは成り立たない ; $hypothesis$ = 「もしも小賢しくないならば「満喫だということはなくてかつ断り続けない」ということは誤っている」ものはある ; $proof$ = 
fact17 -> int1: もしその留守番電話は小賢しくないとすれば「満喫でなくてその上断り続けない」ということは成り立たない; int1 -> hypothesis; __PROVED__
事実1: もしある物は小賢しくないとしたら「それは満喫でなくて断り続ける」ということは成り立たない
事実2: 「「小賢しくないなら「満喫だけれど断り続けない」ということは事実と異なる」ものはある」ということは確かだ
事実3: 「もし混ざらないとしたら「逃げ続けるということはなくて湖北一向一揆でない」ということは成り立たない」ものはある
事実4: もしも何かは腹黒くないとすると「怨霊鎮めでそれに後ろめたくない」ということは確かでない
事実5: 「もし仮に小賢しくないなら「満喫でなくて断り続ける」ということは嘘である」ものはある
事実6: もし仮にその留守番電話は御寂しいならば「それは人間臭くなくて加えて禁止すらない」ということは成り立たない
事実7: その留守番電話は笑い飛ばせらないなら「それは譲り受けだということはなくて更にそれは小賢しくない」ということは間違っている
事実8: 「小賢しくないとしたら満喫でなくて加えて断り続けない」ものはある
事実9: もし仮になにがしかのものは落ちぶれるということはないとすれば「丸坊主でないし加えてそれは市民グループでない」ということは成り立つということはない
事実10: 仮にその留守番電話は小賢しくないとしたら「それは程無いけれど振りかぶらない」ということは事実でない
事実11: あるものは小賢しいとすれば「満喫でないしさらにそれは断り続けるということはない」ということは成り立たない
事実12: 「なにがしかの物は明かせらない」ということは事実であるとすれば「それは含めないしさらに振り切らない」ということは間違っている
事実13: 「もし判断し難いならば「分業しなくて加えて内助でない」ということは成り立たない」ものはある
事実14: もしあのキーボードは誤解され易いならば「判断し難くないしそれに御寂しくない」ということは成り立たない
事実15: 仮にとある物は御忙しくないなら「値下がりしなくてかつそれは丸坊主でない」ということは誤っている
事実16: もし仮に「なにかは苦々しかない」ということは成り立つとしたら「俳諧でなくて更にそれは程無くない」ということは間違っている
事実17: 仮にとある物は小賢しくないとすると「「満喫でないしおまけに断り続けるということはない」ということは誤りでない」ということは成り立たない

仮説: 「もしも小賢しくないならば「満喫だということはなくてかつ断り続けない」ということは誤っている」ものはある
1. 事実17から、推論1: "もしその留守番電話は小賢しくないとすれば「満喫でなくてその上断り続けない」ということは成り立たない"が導かれる
2. 推論1から、仮説が導かれる

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