Translate the following inference to logic notation: It is sunny. If Charles were happy, then it is not sunny. David is a musician. Therefore David is a musician or it is raining.
p. q -> ~p. r. Therefore r or s.