Translate the following inference to logic notation: Thomas is making tea or it is snowing. Thomas is a politician or it is not snowing. For all x, x_14 is a politician if and only if x_14 will make tea. Therefore Thomas is a politician.
P(a) or p. Q(a) or ~p. forall x: Q(x) <-> P(x). Therefore Q(a).