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