Translate the following inference to logic notation: Jessica is playing squash. It is cold if and only if it is windy. If Jessica plays squash, then it is windy. Therefore it is cold.
p. q <-> r. p -> r. Therefore q.