Translate the following inference to logic notation: For all x, if x_10 were an office clerk, then x_10 is making tea. Thomas is a cashier. If Thomas were a cashier, then William is an office clerk. Therefore William is making tea.
forall x: P(x) -> Q(x). p. p -> P(a). Therefore Q(a).