“蝙蝠不是鸟，因为蝙蝠是哺乳动物，而鸟不是哺乳动物”，这个三段论的格和式是（）。