George is a person who works from home.
Everyone who works in person is a commuter. People either work in person or work from home. Everyone who works from home has a relaxed schedule. George is either a commuter or has a home office setup. If George is either a person who works from home or has a home office setup, then George is not a person who works from home and a commuter.
∀x (InPerson(x) → Commuter(x)) ∀x (InPerson(x) ⊕ FromHome(x)) ∀x (FromHome(x) → Relaxed(x)) Commuter(george) ⊕ HomeOffice(george) FromHome(george) ⊕ HomeOffice(george) → ¬(FromHome(george) ∧ Commuter(george))