Translate the following inference to logic notation: For all x, if x_14 were a poet, then x_14 is a lawyer. Michael is running. Elisabeth is not a lawyer. Therefore Elisabeth is not a poet and Michael is running.
forall x: P(x) -> Q(x). p. ~Q(a). Therefore ~P(a) and p.