Translate the following inference to logic notation: If it is windy, then it is cloudy. If it is cloudy, then it is windy. Susan is not an artist. If it is cloudy, then it is snowing. Susan is an artist if and only if it is snowing. Therefore it is not windy.
p -> q. q -> p. ~r. q -> s. r <-> s. Therefore ~p.