Translate the following inference to logic notation: For all x, if x_10 listens to a song, then x_10 is a bartender. If Robert were a soldier, then Thomas is listening to a song. If Jessica were rich, then Thomas is a bartender. Jessica is rich or Robert is a soldier. Therefore Thomas is a bartender.
forall x: P(x) -> Q(x). p -> P(a). q -> Q(a). q or p. Therefore Q(a).