「「心深くなくてその上闘病生活でない」ということは誤っている」ものはある
fact1: 「この米屋は長い一方で深しない」ということは嘘だ fact2: 「「自律する」ということは成り立つ」ものはある fact3: 「支持し続けない」物はある fact4: もしもなんらかのものは利用者負担でないとすると「この米屋は闘病生活でないがしかし聞き取り難い」ということは間違いだ fact5: 「ちらちらする」ものはある fact6: もし「支持し続けない」ものはあるとすれば「「この米屋は心深くないしそれは闘病生活でない」ということは成り立つ」ということは誤っている fact7: 「「観賞しないし加えて経済力でない」ということは成り立たない」ものはある fact8: もし仮に何かは支持し続けるなら「感謝致すということはないし冷え易くない」ということは偽である fact9: 「「明軍だしおまけにちらちらしない」ということは正しくない」物はある fact10: なにかは驚愕しないし微笑み合わない fact11: なにがしかの物は心深くないとすれば「あの痙攣性便秘は青っぽくないけれど案じる」ということは偽である fact12: なんらかの物は縦軸だということはないし選択され易くない fact13: もしなにがしかの物は支持し続けないとすると「「この米屋は心深くないけど闘病生活だ」ということは誤りだ」ということは成り立つ
fact3 & fact6 -> int1: 「この米屋は心深くなくて闘病生活でない」ということは誤りである; int1 -> hypothesis;
「この米屋は感謝致すということはないし冷え易くない」ということは成り立たない
fact14 -> int2: もしこの米屋は支持し続けるとしたら「それは感謝致すということはなくてしかも冷え易くない」ということは間違っている;
$facts$ = fact1: 「この米屋は長い一方で深しない」ということは嘘だ fact2: 「「自律する」ということは成り立つ」ものはある fact3: 「支持し続けない」物はある fact4: もしもなんらかのものは利用者負担でないとすると「この米屋は闘病生活でないがしかし聞き取り難い」ということは間違いだ fact5: 「ちらちらする」ものはある fact6: もし「支持し続けない」ものはあるとすれば「「この米屋は心深くないしそれは闘病生活でない」ということは成り立つ」ということは誤っている fact7: 「「観賞しないし加えて経済力でない」ということは成り立たない」ものはある fact8: もし仮に何かは支持し続けるなら「感謝致すということはないし冷え易くない」ということは偽である fact9: 「「明軍だしおまけにちらちらしない」ということは正しくない」物はある fact10: なにかは驚愕しないし微笑み合わない fact11: なにがしかの物は心深くないとすれば「あの痙攣性便秘は青っぽくないけれど案じる」ということは偽である fact12: なんらかの物は縦軸だということはないし選択され易くない fact13: もしなにがしかの物は支持し続けないとすると「「この米屋は心深くないけど闘病生活だ」ということは誤りだ」ということは成り立つ ; $hypothesis$ = 「「心深くなくてその上闘病生活でない」ということは誤っている」ものはある ; $proof$ = 
fact3 & fact6 -> int1: 「この米屋は心深くなくて闘病生活でない」ということは誤りである; int1 -> hypothesis; __PROVED__
事実1: 「この米屋は長い一方で深しない」ということは嘘だ
事実2: 「「自律する」ということは成り立つ」ものはある
事実3: 「支持し続けない」物はある
事実4: もしもなんらかのものは利用者負担でないとすると「この米屋は闘病生活でないがしかし聞き取り難い」ということは間違いだ
事実5: 「ちらちらする」ものはある
事実6: もし「支持し続けない」ものはあるとすれば「「この米屋は心深くないしそれは闘病生活でない」ということは成り立つ」ということは誤っている
事実7: 「「観賞しないし加えて経済力でない」ということは成り立たない」ものはある
事実8: もし仮に何かは支持し続けるなら「感謝致すということはないし冷え易くない」ということは偽である
事実9: 「「明軍だしおまけにちらちらしない」ということは正しくない」物はある
事実10: なにかは驚愕しないし微笑み合わない
事実11: なにがしかの物は心深くないとすれば「あの痙攣性便秘は青っぽくないけれど案じる」ということは偽である
事実12: なんらかの物は縦軸だということはないし選択され易くない
事実13: もしなにがしかの物は支持し続けないとすると「「この米屋は心深くないけど闘病生活だ」ということは誤りだ」ということは成り立つ

仮説: 「「心深くなくてその上闘病生活でない」ということは誤っている」ものはある
1. 事実3と事実6から、推論1: "「この米屋は心深くなくて闘病生活でない」ということは誤りである"が導かれる
2. 推論1から、仮説が導かれる

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