Translate the following inference to logic notation: If Charles were a mechanic, then Jennifer is driving a car. If Jennifer drives a car, then Karen is playing a game. If Barbara sleeps, then Charles is a mechanic. If Karen plays a game, then Barbara is sleeping. Therefore Karen is playing a game if and only if Barbara is sleeping.
p -> q. q -> r. s -> p. r -> s. Therefore r <-> s.