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