Translate the following inference to logic notation: Karen is not cooking. Karen is cooking if and only if Linda is playing a game. If it rains, then Jessica is an astronaut. It is raining. Therefore Linda is not playing a game and Jessica is an astronaut.
~p. p <-> q. r -> s. r. Therefore ~q and s.