「仮に浮き立たないとしたら「利用し辛くないがしかし賑々しい」ということは成り立たない」物はある
fact1: もしもあの脳合併症は浮き立たないとしたら「それは利用し辛くない一方で賑々しい」ということは成り立たない fact2: あの刺し身は利用し辛くないとすれば「四．だということはないしまたそれは熱苦しい」ということは成り立たない fact3: もし何らかの物は高等学校でないならば「それは世慣れないがしかし田舎っぽい」ということは嘘である fact4: もしあの脳合併症が浮き立たないとしたらそれは利用し辛くないがしかし賑々しい fact5: 「浮き立たないとすれば利用し辛くない物でありかつ賑々しい」物はある
fact1 -> hypothesis;
fact1 -> hypothesis;
「もし高等学校でないとすれば「世慣れないが田舎っぽい」ということは成り立たない」ものはある
fact6 -> int1: もし仮にその中心勢力は高等学校でないとすると「それは世慣れないしそれは田舎っぽい」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: もしもあの脳合併症は浮き立たないとしたら「それは利用し辛くない一方で賑々しい」ということは成り立たない fact2: あの刺し身は利用し辛くないとすれば「四．だということはないしまたそれは熱苦しい」ということは成り立たない fact3: もし何らかの物は高等学校でないならば「それは世慣れないがしかし田舎っぽい」ということは嘘である fact4: もしあの脳合併症が浮き立たないとしたらそれは利用し辛くないがしかし賑々しい fact5: 「浮き立たないとすれば利用し辛くない物でありかつ賑々しい」物はある ; $hypothesis$ = 「仮に浮き立たないとしたら「利用し辛くないがしかし賑々しい」ということは成り立たない」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もしもあの脳合併症は浮き立たないとしたら「それは利用し辛くない一方で賑々しい」ということは成り立たない
事実2: あの刺し身は利用し辛くないとすれば「四．だということはないしまたそれは熱苦しい」ということは成り立たない
事実3: もし何らかの物は高等学校でないならば「それは世慣れないがしかし田舎っぽい」ということは嘘である
事実4: もしあの脳合併症が浮き立たないとしたらそれは利用し辛くないがしかし賑々しい
事実5: 「浮き立たないとすれば利用し辛くない物でありかつ賑々しい」物はある

仮説: 「仮に浮き立たないとしたら「利用し辛くないがしかし賑々しい」ということは成り立たない」物はある
1. 事実1から、仮説が導かれる

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