Translate the following inference to logic notation: If it snows, then Karen is not playing tennis. If Karen were curious, then Karen is playing tennis. Karen is curious or David is a nurse. Karen is playing tennis if and only if David is a nurse. Therefore it is not snowing.
p -> ~q. r -> q. r or s. q <-> s. Therefore ~p.