Translate the following inference to logic notation: Richard is working or it is sunny. Karen is playing a game. It is not sunny. Richard is not working or Michael is a musician. Therefore Karen is playing a game and Michael is a musician.
p or q. r. ~q. ~p or s. Therefore r and s.