Translate the following inference to logic notation: It is overcast. James is a police officer or it is not overcast. If James were a police officer, then Susan is listening to a song. Therefore Susan is listening to a song.
p. q or ~p. q -> r. Therefore r.