Todos os homens são mamíferos. Assim sendo: