Translate the following inference to logic notation: If Karen were a scientist, then it is not snowing. It is snowing. Jessica is making tea if and only if Karen is a scientist. Therefore Jessica is not making tea.
p -> ~q. q. r <-> p. Therefore ~r.