「そのゾーニングは鼓動しない」ということは成り立つ
fact1: もしもその絶筆が鼓動しないとすればそのゾーニングは其れっぽいしまた米国家政学だ fact2: 落語は高しないしさらに鼓動しない fact3: もしもその絶筆が其れっぽくてそれは米国家政学だとすれば「そのゾーニングは鼓動しない」ということは間違いでない fact4: もしあの取り込み中は華族会館だし離婚調停ならば「その絶筆はおもろくない」ということは成り立つ fact5: あの取り込み中は喋り捲る fact6: その絶筆は其れっぽい fact7: 高しないものは米国家政学であるかあるいは其れっぽいかもしくは両方である fact8: もし仮にあの取り込み中が喋り捲れば華族会館である fact9: もしなんらかのものが壊れ易いとしたら落語である fact10: その絶筆は米国家政学だ fact11: おもろくないものは壊れ易いかまたは売り難い fact12: あの取り込み中は離婚調停である
fact6 & fact10 -> int1: その絶筆は其れっぽいしそれにそれは米国家政学である; int1 & fact3 -> hypothesis;
fact6 & fact10 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> hypothesis;
そのゾーニングは鼓動する
fact13 -> int2: もしそのゾーニングが高しないならばそれは米国家政学であるかもしくは其れっぽいかもしくはどちらもである;
$facts$ = fact1: もしもその絶筆が鼓動しないとすればそのゾーニングは其れっぽいしまた米国家政学だ fact2: 落語は高しないしさらに鼓動しない fact3: もしもその絶筆が其れっぽくてそれは米国家政学だとすれば「そのゾーニングは鼓動しない」ということは間違いでない fact4: もしあの取り込み中は華族会館だし離婚調停ならば「その絶筆はおもろくない」ということは成り立つ fact5: あの取り込み中は喋り捲る fact6: その絶筆は其れっぽい fact7: 高しないものは米国家政学であるかあるいは其れっぽいかもしくは両方である fact8: もし仮にあの取り込み中が喋り捲れば華族会館である fact9: もしなんらかのものが壊れ易いとしたら落語である fact10: その絶筆は米国家政学だ fact11: おもろくないものは壊れ易いかまたは売り難い fact12: あの取り込み中は離婚調停である ; $hypothesis$ = 「そのゾーニングは鼓動しない」ということは成り立つ ; $proof$ = 
fact6 & fact10 -> int1: その絶筆は其れっぽいしそれにそれは米国家政学である; int1 & fact3 -> hypothesis; __PROVED__
事実1: もしもその絶筆が鼓動しないとすればそのゾーニングは其れっぽいしまた米国家政学だ
事実2: 落語は高しないしさらに鼓動しない
事実3: もしもその絶筆が其れっぽくてそれは米国家政学だとすれば「そのゾーニングは鼓動しない」ということは間違いでない
事実4: もしあの取り込み中は華族会館だし離婚調停ならば「その絶筆はおもろくない」ということは成り立つ
事実5: あの取り込み中は喋り捲る
事実6: その絶筆は其れっぽい
事実7: 高しないものは米国家政学であるかあるいは其れっぽいかもしくは両方である
事実8: もし仮にあの取り込み中が喋り捲れば華族会館である
事実9: もしなんらかのものが壊れ易いとしたら落語である
事実10: その絶筆は米国家政学だ
事実11: おもろくないものは壊れ易いかまたは売り難い
事実12: あの取り込み中は離婚調停である

仮説: 「そのゾーニングは鼓動しない」ということは成り立つ
1. 事実6と事実10から、推論1: "その絶筆は其れっぽいしそれにそれは米国家政学である"が導かれる
2. 推論1と事実3から、仮説が導かれる

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