Translate the following inference to logic notation: Michael is cooking. If Jennifer plays a game, then Karen is playing tennis. Karen is not playing tennis. If it snows, then Jennifer is playing a game. Therefore it is not snowing and Michael is cooking.
p. q -> r. ~r. s -> q. Therefore ~s and p.