Translate the following inference to logic notation: William is a lawyer. It is not overcast. For all x, if x_28 were a lawyer, then x_28 is running. It is overcast if and only if David is sleeping. If it is windy, then David is sleeping. Therefore William is running and it is not windy.
P(a). ~p. forall x: P(x) -> Q(x). p <-> q. r -> q. Therefore Q(a) and ~r.