Sid is an energetic person and an animal.
Anything that is lazy is unproductive. No one unproductive is an energetic person. If something is a sloth, then it is lazy. Some animals are sloths. Sid is not either an energetic person or a sloth.
∀x (Lazy(x) → Unproductive(x)) ∀x (Unproductive(x) → ¬Energetic(x)) ∀x (Sloth(x) → Lazy(x)) ∃x (Animal(x) ∧ Sloth(x)) ¬Energetic(sid) ∨ Sloth(sid)