「もしも最下級でないなら「着せがましかないしさらに一腹でない」ということは成り立たない」ものはある
fact1: 仮にあの虚血性心疾患は最下級でないとすると「着せがましい一方で一腹でない」ということは事実と異なる fact2: 仮になんらかの物は最下級でないなら「相談し易くないしそれに任じない」ということは事実と異なる fact3: もしあの虚血性心疾患は最下級でないならそれは着せがましかなくてしかも一腹でない fact4: 「もし最下級だということはないならば「着せがましいけれど一腹でない」ということは偽な」物はある fact5: 仮にこの職員一人一人は一腹でないとしたら「末恐ろしくなくておまけに全国初でない」ということは事実と異なる fact6: 「仮に最下級であるということはないとすれば着せがましかないし一腹でない」ものはある fact7: もし仮にあの虚血性心疾患は最下級なら「「着せがましいということはなくて一腹でない」ということは正しい」ということは偽だ fact8: あの虚血性心疾患は最下級でないなら「それは着せがましかないし更に一腹だ」ということは誤っている fact9: もし仮にあの虚血性心疾患は最下級でないとすれば「着せがましかないしまた一腹でない」ということは間違いである fact10: 「もしも最下級であるとすると「着せがましかないしさらに一腹でない」ということは事実と異なる」ものはある
fact9 -> hypothesis;
もし仮にその用字は最下級でないとすると「それは相談し易くないし任じない」ということは成り立たない
fact11 -> hypothesis;
$facts$ = fact1: 仮にあの虚血性心疾患は最下級でないとすると「着せがましい一方で一腹でない」ということは事実と異なる fact2: 仮になんらかの物は最下級でないなら「相談し易くないしそれに任じない」ということは事実と異なる fact3: もしあの虚血性心疾患は最下級でないならそれは着せがましかなくてしかも一腹でない fact4: 「もし最下級だということはないならば「着せがましいけれど一腹でない」ということは偽な」物はある fact5: 仮にこの職員一人一人は一腹でないとしたら「末恐ろしくなくておまけに全国初でない」ということは事実と異なる fact6: 「仮に最下級であるということはないとすれば着せがましかないし一腹でない」ものはある fact7: もし仮にあの虚血性心疾患は最下級なら「「着せがましいということはなくて一腹でない」ということは正しい」ということは偽だ fact8: あの虚血性心疾患は最下級でないなら「それは着せがましかないし更に一腹だ」ということは誤っている fact9: もし仮にあの虚血性心疾患は最下級でないとすれば「着せがましかないしまた一腹でない」ということは間違いである fact10: 「もしも最下級であるとすると「着せがましかないしさらに一腹でない」ということは事実と異なる」ものはある ; $hypothesis$ = 「もしも最下級でないなら「着せがましかないしさらに一腹でない」ということは成り立たない」ものはある ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: 仮にあの虚血性心疾患は最下級でないとすると「着せがましい一方で一腹でない」ということは事実と異なる
事実2: 仮になんらかの物は最下級でないなら「相談し易くないしそれに任じない」ということは事実と異なる
事実3: もしあの虚血性心疾患は最下級でないならそれは着せがましかなくてしかも一腹でない
事実4: 「もし最下級だということはないならば「着せがましいけれど一腹でない」ということは偽な」物はある
事実5: 仮にこの職員一人一人は一腹でないとしたら「末恐ろしくなくておまけに全国初でない」ということは事実と異なる
事実6: 「仮に最下級であるということはないとすれば着せがましかないし一腹でない」ものはある
事実7: もし仮にあの虚血性心疾患は最下級なら「「着せがましいということはなくて一腹でない」ということは正しい」ということは偽だ
事実8: あの虚血性心疾患は最下級でないなら「それは着せがましかないし更に一腹だ」ということは誤っている
事実9: もし仮にあの虚血性心疾患は最下級でないとすれば「着せがましかないしまた一腹でない」ということは間違いである
事実10: 「もしも最下級であるとすると「着せがましかないしさらに一腹でない」ということは事実と異なる」ものはある

仮説: 「もしも最下級でないなら「着せがましかないしさらに一腹でない」ということは成り立たない」ものはある
1. 事実9から、仮説が導かれる

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