あの市営住宅は物欲しかないがしかし罪悪視する
fact1: あの市営住宅は同日付けである fact2: もし仮にあの市営住宅が同日付けであるならば物欲しいということはないしおまけにそれは罪悪視する fact3: 何もかもは煤けない fact4: あの西ベルリン人は罪悪視する fact5: もしも何らかのものは物欲しいとすれば「あの市営住宅は物欲しいということはない一方で罪悪視する」ということは成り立つということはない
fact2 & fact1 -> hypothesis;
fact2 & fact1 -> hypothesis;
「あの市営住宅は物欲しいということはない一方でそれは罪悪視する」ということは誤りである
fact7 -> int1: この二パーセント亜硫酸ナトリウムは煤けない;
$facts$ = fact1: あの市営住宅は同日付けである fact2: もし仮にあの市営住宅が同日付けであるならば物欲しいということはないしおまけにそれは罪悪視する fact3: 何もかもは煤けない fact4: あの西ベルリン人は罪悪視する fact5: もしも何らかのものは物欲しいとすれば「あの市営住宅は物欲しいということはない一方で罪悪視する」ということは成り立つということはない ; $hypothesis$ = あの市営住宅は物欲しかないがしかし罪悪視する ; $proof$ = 
fact2 & fact1 -> hypothesis; __PROVED__
事実1: あの市営住宅は同日付けである
事実2: もし仮にあの市営住宅が同日付けであるならば物欲しいということはないしおまけにそれは罪悪視する
事実3: 何もかもは煤けない
事実4: あの西ベルリン人は罪悪視する
事実5: もしも何らかのものは物欲しいとすれば「あの市営住宅は物欲しいということはない一方で罪悪視する」ということは成り立つということはない

仮説: あの市営住宅は物欲しかないがしかし罪悪視する
1. 事実2と事実1から、仮説が導かれる

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