Translate the following inference to logic notation: For all x, x_30 is a scientist. Mary is not taking a plane. Mary is taking a plane and it is raining. Therefore Susan is happy and James is a scientist.
forall x: P(x). ~p. p and q. Therefore r and P(a).