Translate the following inference to logic notation: If Michael listens to a song, then it is not snowing. It is raining. Sarah is not playing a game. Sarah is playing a game or it is snowing. Therefore Michael is not listening to a song and it is raining.
p -> ~q. r. ~s. s or q. Therefore ~p and r.