If Mary is not both an advocate and is entitled to be paid the federal minimum wage by their employees, she is not a tipped employee.
(¬(Advocate(mary) ∧ EntitledTo(mary, federalMinimumWage))) → ¬TippedEmployee(mary)