Translate the following inference to logic notation: Susan is not a politician. Susan is a politician or John is a doctor. For all x, if x_14 were a doctor, then x_14 is running. Therefore John is running.
~p. p or P(a). forall x: P(x) -> Q(x). Therefore Q(a).