「すべての犬は動物である。すべての動物は猫である。ゆえに、すべての犬は猫である。」というのは正しい論理である。 現実に犬が猫でないことは論理の正しさとは無関係である。