Translate the following inference to logic notation: It is not raining. It is raining if and only if Elisabeth is climbing a mountain. Karen is playing tennis if and only if Elisabeth is climbing a mountain. Karen is playing tennis if and only if Robert is cooking. Therefore Robert is not cooking.
~p. p <-> q. r <-> q. r <-> s. Therefore ~s.