Translate the following inference to logic notation: Robert is not playing a game. It is cloudy. Robert is playing a game if and only if it is windy. If it is windy, then it is cloudy. If it is cloudy, then it is windy. Therefore it is late.
~p. q. p <-> r. r -> q. q -> r. Therefore s.