Translate the following inference to logic notation: John is rich or Karen is not playing tennis. Susan is a writer if and only if John is rich. Linda is reading a book if and only if Susan is a writer. Linda is not reading a book. Therefore Karen is not playing tennis.
p or ~q. r <-> p. s <-> r. ~s. Therefore ~q.