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