Translate the following inference to logic notation: For all x, x_15 is happy. Thomas is writing a letter. For all x, x_15 is rich and x_15 will make tea. Therefore Barbara is rich and Thomas is writing a letter.
forall x: P(x). p. forall x: Q(x) and R(x). Therefore Q(a) and p.