>>716すまん。完全に aがbならば、bでなければaではない って言ってんのかと誤読してたわ。てかaがbならば、aでなければbではないっていうのを否定するのって簡単だよな。犬が動物ならば、犬でなければ動物ではない ってい例だと、猫とか鳥とか犬以外の動物をあげていくことで否定できるよな。簡単だったw