Translate the following inference to logic notation: It is sunny if and only if Joseph is playing a game. It is windy. If Joseph plays a game, then Charles is a writer. If Charles were a writer, then it is not windy. Therefore it is not sunny.
p <-> q. r. q -> s. s -> ~r. Therefore ~p.