Translate the following inference to logic notation: If Karen drives a car, then it is raining. If it rains, then it is cloudy. If it is late, then Karen is driving a car. If it is cloudy, then it is late. Therefore if it rains, then it is late.
p -> q. q -> r. s -> p. r -> s. Therefore q -> s.