Translate the following inference to logic notation: For all x, if x_16 were sad, then x_16 is a scientist. It is windy. Joseph is reading a book or David is sad. If Joseph reads a book, then David is a scientist. Therefore David is a scientist.
forall x: P(x) -> Q(x). p. q or P(a). q -> Q(a). Therefore Q(a).