Translate the following inference to logic notation: If Jennifer were a nurse, then Richard is a musician. For all x, x is not a musician. Jennifer is a nurse or it is cold. Therefore it is cold.
p -> P(a). forall x: ~P(x). p or q. Therefore q.