>>276
「notAならばnotB」に対しての反証をしたいなら「notAかつBの場合がある」だぞ