Translate the following inference to logic notation: If Richard listens to a song, then it is windy. Richard is listening to a song or it is not late. If it is windy, then Jessica is sleeping. Therefore if it is late, then Jessica is sleeping.
p -> q. p or ~r. q -> s. Therefore r -> s.