Translate the following inference to logic notation: For all x, x_8 is a cashier or x_8 is rich. If William were rich, then Barbara is a server. If it is cloudy, then Barbara is a server. If William were a cashier, then it is cloudy. Therefore Barbara is a server.
forall x: P(x) or Q(x). Q(a) -> p. q -> p. P(a) -> q. Therefore p.