“所有哺乳动物都是高等动物，没有猫是非哺乳动物，所以，没有猫不是高等动物。”这是一个（）。

A.标准三段论推理

B.非标准三段论推理

C.间接推理

D.无效式

E.有效式