Translate the following inference to logic notation: Patricia is not sleeping. If it is sunny, then Patricia is sleeping. If it is not sunny, then Robert is playing a game. If Robert plays a game, then it is windy. Therefore it is windy.
~p. q -> p. ~q -> r. r -> s. Therefore s.