Translate the following inference to logic notation: It is not windy. If Sarah plays tennis, then William is curious. It is windy if and only if William is curious. Therefore Sarah is not playing tennis or John is playing a game.
~p. q -> r. p <-> r. Therefore ~q or s.