Translate the following inference to logic notation: Susan is not a police officer. If it is late, then Charles is bored. If Karen plays tennis, then it is late. If Charles were bored, then Susan is a police officer. If Susan were a police officer, then Karen is playing tennis. Therefore Karen is not playing tennis.
~p. q -> r. s -> q. r -> p. p -> s. Therefore ~s.