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