Jumbo is a living being.
All mammals are living beings. All elephants are mammals. All baby elephants are elephants. Some baby elephants are sleepy. If Jumbo is a living being, then Jumbo is not an elephant or a mammal. If Jumbo is sleepy, then Jumbo is a baby elephant or an elephant.
∀x (Mammal(x) → LivingBeing(x))  ∀x (Elephant(x) → Mammal(x)) ∀x (BabyElephant(x) → Elephant(x)) ∃x (BabyElephant(x) ∧ Sleepy(x)) LivingBeing(jumbo) → ¬(Elephant(jumbo) ∨ Mammal(jumbo)) Sleepy(jumbo) → BabyElephant(jumbo) ∨ Mammal(jumbo)