Translate the following inference to logic notation: If Karen listens to a song, then Jennifer is driving a car. If Jennifer drives a car, then Karen is listening to a song. Karen is not listening to a song. If Karen listens to a song, then Jennifer is driving a car. Therefore Jennifer is not driving a car.
p -> q. q -> p. ~p. p -> q. Therefore ~q.