Translate the following inference to logic notation: If Robert goes running, then Thomas is a nurse. If it is late, then Robert is running. Thomas is not a nurse. For all x, x_29 is a doctor. Therefore it is not late.
p -> q. r -> p. ~q. forall x: P(x). Therefore ~r.