Translate the following inference to logic notation: It is windy if and only if Richard is playing a game. If James were sad, then it is overcast. It is not overcast. It is windy if and only if James is sad. Therefore Richard is not playing a game.
p <-> q. r -> s. ~s. p <-> r. Therefore ~q.