Translate the following inference to logic notation: If Susan were a doctor, then Robert is not playing tennis. Robert is playing tennis. If Karen were a scientist, then John is sleeping. John is not sleeping. Therefore Susan is not a doctor and Karen is not a scientist.
p -> ~q. q. r -> s. ~s. Therefore ~p and ~r.