Translate the following inference to logic notation: Elisabeth is poor. If Elisabeth were poor, then Patricia is sleeping. James is a musician or William is an electrician. If William were an electrician, then James is an artist. For all x, if x_14 were a musician, then x_14 is an artist. Therefore James is an artist and Patricia is sleeping.
p. p -> q. P(a) or r. r -> Q(a). forall x: P(x) -> Q(x). Therefore Q(a) and q.