Translate the following inference to logic notation: If Charles plays squash, then it is cold. If Jessica listens to a song, then Charles is playing squash. If Karen were a server, then Jessica is listening to a song. If it is cold, then Jessica is listening to a song. Therefore if Karen were a server, then Charles is playing squash.
p -> q. r -> p. s -> r. q -> r. Therefore s -> p.