Translate the following inference to logic notation: For all x, z is not an office clerk. David is an office clerk or Robert is a nurse. It is cold. Therefore it is cold and Robert is a nurse.
forall x: ~P(x). P(a) or p. q. Therefore q and p.