Translate the following inference to logic notation: If Karen were a doctor, then it is sunny. If it is cloudy, then Robert is a soldier. If it is sunny, then it is cloudy. Robert is not a soldier. Therefore Karen is not a doctor.
p -> q. r -> s. q -> r. ~s. Therefore ~p.