Translate the following inference to logic notation: Karen is not playing a game. If it rains, then Karen is playing a game. Patricia is a politician and Michael is a writer. Therefore Patricia is a politician and it is not raining.
~p. q -> p. r and s. Therefore r and ~q.