Translate the following inference to logic notation: Karen is a police officer. It is sunny or it is snowing. It is not windy. It is windy if and only if it is sunny. Therefore it is snowing.
p. q or r. ~s. s <-> q. Therefore r.