「その後援会は産生するし継続す」ということは成り立たない
fact1: 分厚くなくておまけに成され易いということはない物は物理的店舗でない fact2: あの巨大仏は物理的店舗でない fact3: あの巨大仏は物理的店舗でないとしたら「その後援会は産生するし継続す」ということは偽だ
fact3 & fact2 -> hypothesis;
fact3 & fact2 -> hypothesis;
「あの子煩悩は植民するし継続す」ということは成り立たない
fact4 -> int1: もしもあの子煩悩が分厚くないしかつそれが成され易くないとすれば物理的店舗でない;
$facts$ = fact1: 分厚くなくておまけに成され易いということはない物は物理的店舗でない fact2: あの巨大仏は物理的店舗でない fact3: あの巨大仏は物理的店舗でないとしたら「その後援会は産生するし継続す」ということは偽だ ; $hypothesis$ = 「その後援会は産生するし継続す」ということは成り立たない ; $proof$ = 
fact3 & fact2 -> hypothesis; __PROVED__
事実1: 分厚くなくておまけに成され易いということはない物は物理的店舗でない
事実2: あの巨大仏は物理的店舗でない
事実3: あの巨大仏は物理的店舗でないとしたら「その後援会は産生するし継続す」ということは偽だ

仮説: 「その後援会は産生するし継続す」ということは成り立たない
1. 事実3と事実2から、仮説が導かれる

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