Translate the following inference to logic notation: For all x, x_14 is a carpenter or x_14 will make tea. David is a server. Thomas is not a carpenter. Therefore Thomas is making tea.
forall x: P(x) or Q(x). p. ~P(a). Therefore Q(a).