Translate the following inference to logic notation: Charles is playing a game if and only if it is sunny. If it is sunny, then Jessica is not running. Jessica is running. Robert is an artist. Therefore Charles is not playing a game and Robert is an artist.
p <-> q. q -> ~r. r. s. Therefore ~p and s.