Translate the following inference to logic notation: For all x, if x_14 reads a book, then x_14 is writing a letter. Karen is a scientist. Linda is not writing a letter. Therefore Linda is not reading a book and Karen is a scientist.
forall x: P(x) -> Q(x). p. ~Q(a). Therefore ~P(a) and p.