Translate the following inference to logic notation: If it is windy, then it is raining. If it is not windy, then it is late. If it rains, then it is windy. It is not raining. Therefore it is late or John is playing a game.
p -> q. ~p -> r. q -> p. ~q. Therefore r or s.