Translate the following inference to logic notation: If Linda listens to a song, then Jennifer is playing a game. Linda is listening to a song or Charles is not drinking water. If Jennifer plays a game, then Charles is drinking water. Therefore if Jennifer plays a game, then Charles is drinking water.
p -> q. p or ~r. q -> r. Therefore q -> r.