Ron is a lizard.
No cold-blooded animals are birds. All reptiles are cold-blooded. Either an animal is a bird or it eats other animals. If an animal eats other animals, then it is a carnivore. Ron is neither a cold-blooded animal nor a carnivore. Henry is neither a carnivore nor a lizard.
∀x (ColdBlooded(x) → ¬Bird(x)) ∀x (Reptile(x) → ColdBlooded(x)) ∀x (Bird(x) ∨ EatOtherAnimals(x)) ∀x (EatOtherAnimals(x) → Carnivore(x)) ¬ColdBlooded(ron) ∧ ¬Carnivore(ron) ¬Carnivore(henry) ∧ ¬Lizard(henry)