Translate the following inference to logic notation: Richard is playing tennis. It is cloudy if and only if it is cold. If it is cold, then it is cloudy. If it is cold, then Richard is not playing tennis. Therefore it is not cloudy.
p. q <-> r. r -> q. r -> ~p. Therefore ~q.