Translate the following inference to logic notation: If Charles were a bartender, then Michael is an astronaut. If Charles were rich, then Michael is an astronaut. For all x, x_13 is a bartender. Therefore Michael is an astronaut or Sarah is a mechanic.
P(a) -> p. Q(a) -> p. forall x: P(x). Therefore p or q.