Translate the following inference to logic notation: For all x, x_19 is not fast. If Susan goes running, then Joseph is fast. Linda is an artist. If it is overcast, then Susan is running. Therefore Linda is an artist and it is not overcast.
forall x: ~P(x). p -> P(a). q. r -> p. Therefore q and ~r.