Translate the following inference to logic notation: If Charles drinks water, then Susan is listening to a song. Charles is not drinking water. Charles is drinking water or Susan is not listening to a song. Therefore Susan is not listening to a song.
p -> q. ~p. p or ~q. Therefore ~q.