Translate the following inference to logic notation: If Thomas were a lawyer, then Elisabeth is reading a book. Thomas is not a lawyer. For all x, x_10 will read a book or x_10 will play tennis. If Elisabeth reads a book, then Thomas is a lawyer. Therefore Elisabeth is playing tennis.
p -> P(a). ~p. forall x: P(x) or Q(x). P(a) -> p. Therefore Q(a).