Mary is not nice and is a teacher working at a pool.
Some teachers working at a pool are not nice. All teachers working at pools are pool managers. All pool managers are lifeguards. If someone is a lifeguard, then they work at a pool. Mary does not work at a pool.
∃x (TeacherWorkingAtPool(x) ∧ ¬Nice(x)) ∀x (TeacherWorkingAtPool(x) → PoolManager(x)) ∀x (PoolManager(x) → Lifeguard(x)) ∀x (Lifeguard(x) → WorkAtPool(x)) ¬WorkAtPool(mary))