Translate the following inference to logic notation: For all x, if x_14 plays squash, then x_14 is a doctor. If Karen goes running, then Robert is a doctor. It is late. Robert is playing squash or Karen is running. Therefore it is late and Robert is a doctor.
forall x: P(x) -> Q(x). p -> Q(a). q. P(a) or p. Therefore q and Q(a).