Translate the following inference to logic notation: If Mary were rich, then William is a mechanic. Mary is not rich. If William were a mechanic, then Mary is rich. It is overcast if and only if William is a mechanic. Therefore it is not overcast.
p -> q. ~p. q -> p. r <-> q. Therefore ~r.