Translate the following inference to logic notation: If Elisabeth writes a letter, then Michael is an artist. Karen is playing a game or Michael is an artist. If Michael were an artist, then Elisabeth is writing a letter. Elisabeth is not writing a letter. Therefore Karen is playing a game.
p -> q. r or q. q -> p. ~p. Therefore r.