Translate the following inference to logic notation: If it snows, then Michael is a poet. Jessica is a janitor or Susan is a lawyer. If Susan were a lawyer, then Michael is playing tennis. Jessica is not a janitor or it is snowing. For all x, if x were a poet, then x is playing tennis. Therefore Michael is playing tennis.
p -> P(a). q or r. r -> Q(a). ~q or p. forall x: P(x) -> Q(x). Therefore Q(a).