Translate the following inference to logic notation: William is not a sailor. If it is late, then it is not overcast. It is overcast. William is a sailor or Karen is listening to a song. Therefore Karen is listening to a song and it is not late.
~p. q -> ~r. r. p or s. Therefore s and ~q.