“所有动物都有皮肉；狗是动物；因此，狗有皮肉。”这一推理形式是