Translate the following inference to logic notation: Michael is not a writer. If it is overcast, then Michael is a writer. It is not overcast if and only if Michael is playing squash. Therefore Michael is playing squash.
~p. q -> p. ~q <-> r. Therefore r.