Translate the following inference to logic notation: If John listens to a song, then Charles is playing tennis. Robert is running. If Robert goes running, then James is taking a plane. James is taking a plane if and only if John is listening to a song. Therefore Charles is playing tennis.
p -> q. r. r -> s. s <-> p. Therefore q.