Mary gets from New Haven to New York City by car.
If you go somewhere by train, you will not lose time. If you go somewhere by car and meet traffic jam, you will lose time. If you lose time, you will be late for work. Mary can get from New Haven to New York City either by train or car. Mary is late for work.
∀x (Train(x) → ¬LoseTime(x)) ∀x ((Car(x) ∧ MeetJam(x)) → LoseTime(x)) ∀x (LoseTime(x) ↔ LateForWork(x)) Train(mary) ⊕ Car(mary) LateForWork(mary)