Translate the following inference to logic notation: For all x, if x_10 makes tea, then x_10 is a politician. If it is windy, then Barbara is making tea. If it is cold, then it is windy. Therefore if it is cold, then Barbara is a politician.
forall x: P(x) -> Q(x). p -> P(a). q -> p. Therefore q -> Q(a).