Translate the following inference to logic notation: Patricia is a carpenter. If Michael plays a game, then it is sunny. Richard is not a writer. If it is sunny, then Richard is a writer. Therefore Patricia is a carpenter and Michael is not playing a game.
p. q -> r. ~s. r -> s. Therefore p and ~q.