Translate the following inference to logic notation: If Jennifer plays a game, then it is cold. Jennifer is playing a game if and only if Patricia is writing a letter. Patricia is not writing a letter. It is windy. If it is cold, then Jennifer is playing a game. Therefore it is windy and it is not cold.
p -> q. p <-> r. ~r. s. q -> p. Therefore s and ~q.