Dogs are always not naughty.
All pets are animals. Pets can be either a dog or a cat. If a person has a pet, they care for that pet.  Dogs and Cats can be naughty.  Pets who are naughty are not liked as much.  Charlie has a naughty pet dog named Leo. 
∀x (Pet(x) → Animal(x)) ∀x (Pet(x) → Dog(x) ⊕ Cat(x)) ∀x ∀y (HasPet(x) → Cares(x, y)) ∃x ((Cat(x) ∧ Naughty(x)) ∨ (Dog(x) ∧ Naughty(x))) ∀x ∀y (Pet(x) ∧ Naughty(x) → ¬Liked(x, y)) HasPet(charlie) ∧ Pet(leo) ∧ Dog(leo) ∧ Naughty(leo)