Translate the following inference to logic notation: It is not windy or Charles is running. Charles is running if and only if Richard is playing a game. Richard is playing a game or Sarah is not listening to a song. It is windy or Sarah is listening to a song. Therefore Richard is playing a game.
~p or q. q <-> r. r or ~s. p or s. Therefore r.