Translate the following inference to logic notation: If Richard listens to a song, then it is not late. If Karen were a mechanic, then it is late. It is snowing or Karen is a mechanic. It is not snowing. Therefore Richard is not listening to a song.
p -> ~q. r -> q. s or r. ~s. Therefore ~p.