その形式的民主主義はジオ・サーチだ
fact1: その世界トップレベルは心憎い fact2: もし仮にその形式的民主主義が連想し易いとしたらそれはシュレッダーである fact3: その形式的民主主義は昇華する fact4: 「その形式的民主主義は救命出来る」ということは成り立てばそれは如何わしい fact5: もしあの内分泌系は油っぽいならば「それは出国である一方で心憎くない」ということは間違いだ fact6: その形式的民主主義は心憎い fact7: もしも何かはメディアプレーヤーだとしたら心憎い fact8: その七味焼きが主走査方向だとするとジオ・サーチだ fact9: その形式的民主主義は救い難い fact10: もしも「その形式的民主主義は答え易い」ということは成り立つとすればそれはジオ・サーチだ fact11: その形式的民主主義は生易しい fact12: もし仮にその形式的民主主義が心憎いとしたらそれは代理する fact13: その形式的民主主義は社会党右派であるならばそれはジオ・サーチだ fact14: その形式的民主主義が心憎いならばそれはジオ・サーチである fact15: その文化生活は心憎い fact16: この監視人はジオ・サーチだ fact17: もし仮にその形式的民主主義は式ファンであるとしたらそれはジオ・サーチである
fact14 & fact6 -> hypothesis;
fact14 & fact6 -> hypothesis;
その形式的民主主義はジオ・サーチでない
$facts$ = fact1: その世界トップレベルは心憎い fact2: もし仮にその形式的民主主義が連想し易いとしたらそれはシュレッダーである fact3: その形式的民主主義は昇華する fact4: 「その形式的民主主義は救命出来る」ということは成り立てばそれは如何わしい fact5: もしあの内分泌系は油っぽいならば「それは出国である一方で心憎くない」ということは間違いだ fact6: その形式的民主主義は心憎い fact7: もしも何かはメディアプレーヤーだとしたら心憎い fact8: その七味焼きが主走査方向だとするとジオ・サーチだ fact9: その形式的民主主義は救い難い fact10: もしも「その形式的民主主義は答え易い」ということは成り立つとすればそれはジオ・サーチだ fact11: その形式的民主主義は生易しい fact12: もし仮にその形式的民主主義が心憎いとしたらそれは代理する fact13: その形式的民主主義は社会党右派であるならばそれはジオ・サーチだ fact14: その形式的民主主義が心憎いならばそれはジオ・サーチである fact15: その文化生活は心憎い fact16: この監視人はジオ・サーチだ fact17: もし仮にその形式的民主主義は式ファンであるとしたらそれはジオ・サーチである ; $hypothesis$ = その形式的民主主義はジオ・サーチだ ; $proof$ = 
fact14 & fact6 -> hypothesis; __PROVED__
事実1: その世界トップレベルは心憎い
事実2: もし仮にその形式的民主主義が連想し易いとしたらそれはシュレッダーである
事実3: その形式的民主主義は昇華する
事実4: 「その形式的民主主義は救命出来る」ということは成り立てばそれは如何わしい
事実5: もしあの内分泌系は油っぽいならば「それは出国である一方で心憎くない」ということは間違いだ
事実6: その形式的民主主義は心憎い
事実7: もしも何かはメディアプレーヤーだとしたら心憎い
事実8: その七味焼きが主走査方向だとするとジオ・サーチだ
事実9: その形式的民主主義は救い難い
事実10: もしも「その形式的民主主義は答え易い」ということは成り立つとすればそれはジオ・サーチだ
事実11: その形式的民主主義は生易しい
事実12: もし仮にその形式的民主主義が心憎いとしたらそれは代理する
事実13: その形式的民主主義は社会党右派であるならばそれはジオ・サーチだ
事実14: その形式的民主主義が心憎いならばそれはジオ・サーチである
事実15: その文化生活は心憎い
事実16: この監視人はジオ・サーチだ
事実17: もし仮にその形式的民主主義は式ファンであるとしたらそれはジオ・サーチである

仮説: その形式的民主主義はジオ・サーチだ
1. 事実14と事実6から、仮説が導かれる

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