Translate the following inference to logic notation: It is not overcast. Mary is an office clerk. It is overcast or William is not playing a game. For all x, if x_24 were a soldier, then x_24 is playing a game. Therefore Mary is an office clerk and William is not a soldier.
~p. q. p or ~P(a). forall x: Q(x) -> P(x). Therefore q and ~Q(a).