Translate the following inference to logic notation: If Elisabeth were a doctor, then Karen is not a lawyer. If Elisabeth were not a doctor, then it is raining. It is cold. Karen is a lawyer. Therefore it is raining and it is cold.
p -> ~q. ~p -> r. s. q. Therefore r and s.