Translate the following inference to logic notation: William is listening to a song. If William listens to a song, then it is late. It is cloudy. If it is cloudy, then Charles is running. Therefore it is late and Charles is running.
p. p -> q. r. r -> s. Therefore q and s.