题干是全称肯定命题，其矛盾命题是存在否定命题，即"有些猫不是动物"（A）或"猫并不是动物"（C）。然而，C与原文构成通项否定，是最直接的逻辑矛盾。