Translate the following inference to logic notation: If Michael were an artist, then Mary is running. If Mary goes running, then Linda is a lawyer. For all x, if x_10 works, then x_10 is an artist. Therefore if Michael works, then Linda is a lawyer.
P(a) -> p. p -> q. forall x: Q(x) -> P(x). Therefore Q(a) -> q.