Translate the following inference to logic notation: If Barbara drinks water, then Barbara is making tea. Barbara is not drinking water. For all x, if x_12 makes tea, then x_12 is drinking water. Therefore Barbara is not making tea.
P(a) -> Q(a). ~P(a). forall x: Q(x) -> P(x). Therefore ~Q(a).