Translate the following inference to logic notation: For all x, x is not a mechanic. It is cold. Patricia is a mechanic or it is late. Therefore it is late and it is cold.
forall x: ~P(x). p. P(a) or q. Therefore q and p.