Translate the following inference to logic notation: If Thomas were sad, then Michael is a lawyer. For all x, x_13 is sad or x_13 will read a book. Jessica is a mechanic if and only if Michael is a lawyer. Jessica is not a mechanic. Therefore Thomas is reading a book.
P(a) -> p. forall x: P(x) or Q(x). q <-> p. ~q. Therefore Q(a).