Translate the following inference to logic notation: Charles is playing a game and Joseph is a bartender. If Linda reads a book, then it is overcast. It is not overcast. Therefore Charles is playing a game.
p and q. r -> s. ~s. Therefore p.