Translate the following inference to logic notation: It is raining. For all x, x_21 is an artist and x_21 is poor. If it rains, then William is taking a plane. Therefore Robert is an artist and William is taking a plane.
p. forall x: P(x) and Q(x). p -> q. Therefore P(a) and q.