Translate the following inference to logic notation: For all x, x_16 will read a book or x_16 is excited. For all x, x_16 is a soldier. Jessica is a taxi driver. For all x, if x_16 were excited, then x_16 is a lawyer. For all x, if x_16 reads a book, then x_16 is a lawyer. Therefore Sarah is a soldier and Jessica is a taxi driver.
forall x: P(x) or Q(x). forall x: R(x). p. forall x: Q(x) -> S(x). forall x: P(x) -> S(x). Therefore R(a) and p.