John is an animal that can fly and a bird.
All birds have wings. No animal with wings is a reptile. Some animals that fly are birds. If something is an iguana, then it is a reptile. John is neither an iguana nor a bird.
∀x (Bird(x) → Winged(x)) ∀x (Winged(x) → ¬Reptile(x)) ∃x (Fly(x) ∧ Bird(x)) ∀x (Iguana(x) → Reptile(x)) ¬Iguana(john) ⊕ Bird(john)