If George is either a person who works from home or has a home office setup, then George is a commuter and is not a person who works from home.
(WorkFrom(george, home) ⊕ Have(george, homeOffice)) → ¬WorkFrom(george, home) ∧ Commuter(george)