Liam enjoys basking in the sun and splashing water around.
If something can go underwater, then it enjoys water. All animals that can swim can go underwater. Either an animal can swim or it can walk. Animals that can walk travel on land. Animals that enjoy water splash water around. Every animal that travels on land enjoys basking in the sun. George splashes water around and can swim. Liam is either an animal that can walk and enjoys water, or is neither an animal that can walk nor enjoys water.
∀x (GoesUnderwater(x) → EnjoysWater(x)) ∀x (CanSwim(x) → GoesUnderwater(x)) ∀x (CanSwim(x) ∨ CanWalk(x)) ∀x (CanWalk(x) → TravelsOnLand(x)) ∀x (EnjoysWater(x) → Splashes(x)) ∀x (TravelsOnLand(x) → EnjoysBasking(x)) Splashes(george) ∧ CanSwim(george) (CanWalk(liam) ∧ EnjoysWater(liam)) ∨ (¬CanWalk(liam) ∧ ¬EnjoysWater(liam))