∀x (GoByTrain(x) → ¬LoseTime(x))
∀x((GoByCar(x) ∧ Meet(x, trafficJam)) → LoseTime(x))
∀x (LoseTime(x) → LateForWork(x))
FromAndTo(newHaven, newYork) ∧ (GoByTrain(mary) ⊕ GoByCar(mary))
LateForWork(mary)
FromAndTo(newHaven, newYork) ∧ GoByTrain(mary)