Translate the following inference to logic notation: If Karen reads a book, then Jessica is sleeping. If Jessica sleeps, then James is making tea. If Susan cooks, then Karen is reading a book. If James makes tea, then Susan is cooking. Karen is not reading a book. Therefore James is not making tea.
p -> q. q -> r. s -> p. r -> s. ~p. Therefore ~r.