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