Translate the following inference to logic notation: It is windy. It is sunny or it is not snowing. If it is sunny, then it is snowing. If it snows, then it is not windy. Therefore it is not sunny.
p. q or ~r. q -> r. r -> ~p. Therefore ~q.