Translate the following inference to logic notation: Linda is not writing a letter. If Barbara were an artist, then Charles is playing squash. Linda is writing a letter or Barbara is an artist. It is raining if and only if Charles is playing squash. Therefore Charles is playing squash.
~p. q -> r. p or q. s <-> r. Therefore r.