[单选题]下列动物如果只能归属一种门类，并且满足以下条件： （1）如果动物B不是鸟，那么动物A是哺乳动物 （2）或者动物C是哺乳动物，或者动物A是哺乳动物 （3）如果动物B不是鸟，那么动物D不是鱼 （4）或者动物D是鱼，或者动物E不是昆虫 （5）如果动物E不是昆虫，那么动物B不是鸟 以下哪项如果为真，可以得出“动物C是哺乳动物”的结论？
A.动物B不是鸟
B.动物A是哺乳动物
C.动物D不是鱼
D.动物E是昆虫

参考答案:D
第一步，确定题型。 根据题干关联词“如果……那么……”等，确定为翻译推理。 第二步，翻译题干。 ①B（?鸟）→A（哺乳动物） ②C（哺乳动物）或A（哺乳动物） ③B（?鸟）→D（?鱼） ④D（鱼）或E（?昆虫） ⑤E（?昆虫）→B（?鸟） 第三步，进行推理。 利用代入法解题。 代入A项：动物B不是鸟，是对①的“肯前”，根据“肯前必肯后”可以推出“A是哺乳动物”，根据题干要求所有动物都只能归属一种门类，则C一定不是哺乳动物，排除A项； 代入B项：动物A是哺乳动物，根据题干要求“所有动物都只能归属一种门类”，则C一定不是哺乳动物，排除B项； 代入C项：动物D不是鱼，是对③的“肯后”，根据“肯后不必然”无法推出其它，D不是鱼，是对④的或关系一支的否定，根据“否定肯定式”，得到E不是昆虫，根据⑤可得B不是鸟，根据①可得A是哺乳动物，A是哺乳动物，根据题干要求“所有动物都只能归属一种门类”，则C一定不是哺乳动物，排除C选项； 代入D项：动物E是昆虫，是对④的或关系一支的否定，根据“否定肯定式”，得到D是鱼，这是对③的“否后”，根据“否后必否前”可得B是鸟，这是对①的“否前”，否前可以得到可能性结论，即A可能不是哺乳动物，根据题干要求所有动物都只能归属一种门类，则C可能是哺乳动物，故该项可以得到“动物C是哺乳动物”。