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