Translate the following inference to logic notation: Thomas is listening to a song or Richard is playing a game. It is overcast. It is sunny. Thomas is not listening to a song. Therefore Richard is playing a game and it is overcast.
p or q. r. s. ~p. Therefore q and r.