Nancy is a pirate.
All kids love animals. All toddlers are kids. If someone loves animals, then they are not bad. All pirates are bad. If Nancy is not a pirate, then Nancy loves animals. If Nancy is not a toddler, then Nancy is bad.
∀x (Kid(x) → LoveAnimals(x)) ∀x (Toddler(x) → Kid(x)) ∀x (LoveAnimals(x) → ¬Bad(x)) ∀x (Pirate(x) → Bad(x)) ¬Pirate(nancy) → LoveAnimals(nancy) ¬Toddler(nancy) → Bad(nancy)