Translate the following inference to logic notation: If William makes tea, then John is playing a game. Patricia is a soldier if and only if it is windy. If it is windy, then William is making tea. Therefore if Patricia were a soldier, then John is playing a game.
p -> q. r <-> s. s -> p. Therefore r -> q.