Translate the following inference to logic notation: Linda is running or it is windy. It is not snowing. Linda is not running. Richard is playing squash if and only if it is snowing. Therefore Richard is not playing squash and it is windy.
p or q. ~r. ~p. s <-> r. Therefore ~s and q.