这只猫是狗吗——三段论推理