「あの食品調味は膨らみ立たないしおまけにそれは熱帯林であるということはない」ということは成り立たない
fact1: もしもあの食品調味が一神教でないとすればそれは膨らみ立たなくてかつ熱帯林でない fact2: 仮にこの木更津空は一神教だということはないなら「あの食品調味は膨らみ立たないしまた熱帯林でない」ということは成り立たない fact3: あの食品調味は一神教でない
fact1 & fact3 -> hypothesis;
fact1 & fact3 -> hypothesis;
「あの食品調味は膨らみ立たなくてかつ熱帯林でない」ということは偽である
$facts$ = fact1: もしもあの食品調味が一神教でないとすればそれは膨らみ立たなくてかつ熱帯林でない fact2: 仮にこの木更津空は一神教だということはないなら「あの食品調味は膨らみ立たないしまた熱帯林でない」ということは成り立たない fact3: あの食品調味は一神教でない ; $hypothesis$ = 「あの食品調味は膨らみ立たないしおまけにそれは熱帯林であるということはない」ということは成り立たない ; $proof$ = 
fact1 & fact3 -> hypothesis; __DISPROVED__
事実1: もしもあの食品調味が一神教でないとすればそれは膨らみ立たなくてかつ熱帯林でない
事実2: 仮にこの木更津空は一神教だということはないなら「あの食品調味は膨らみ立たないしまた熱帯林でない」ということは成り立たない
事実3: あの食品調味は一神教でない

仮説: 「あの食品調味は膨らみ立たないしおまけにそれは熱帯林であるということはない」ということは成り立たない
1. 事実1と事実3から、仮説が否定される

よって、仮説が否定されました。