Translate the following inference to logic notation: It is cloudy or Richard is a police officer. For all x, y will work or y is an astronaut. It is not cloudy. For all x, y will not work. Therefore Karen is an astronaut and Richard is a police officer.
p or q. forall x: P(x) or Q(x). ~p. forall x: ~P(x). Therefore Q(a) and q.