Translate the following inference to logic notation: For all x, x_18 is a politician. It is cold. If Mary were a politician, then it is late. Therefore it is cold and it is late.
forall x: P(x). p. P(a) -> q. Therefore p and q.