Translate the following inference to logic notation: Charles is reading a book. If Susan plays tennis, then Susan is writing a letter. Karen is sleeping if and only if Susan is writing a letter. Karen is not sleeping. Therefore Susan is not playing tennis and Charles is reading a book.
p. q -> r. s <-> r. ~s. Therefore ~q and p.