Translate the following inference to logic notation: It is cold. For all x, x is not an astronaut. If James were a scientist, then it is not late. Jessica is an astronaut or it is late. Therefore James is not a scientist.
p. forall x: ~P(x). q -> ~r. P(a) or r. Therefore ~q.