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