All people who went to Clay's school and prefer working at home over going to the office daily do not have regular 9-5 jobs.
∀x (GoTo(x, claysSchool) ∧ Prefer(x, workingAtHome, goingToTheOffice) → ¬(Have(x, y) ∧ Regular(y) ∧ NineToFiveJob(y)))