Translate the following inference to logic notation: If Sarah were an artist, then Charles is running. For all x, x will not go running. Therefore Sarah is not an artist or Patricia is sleeping.
p -> P(a). forall x: ~P(x). Therefore ~p or q.