Translate the following inference to logic notation: If Patricia climbs a mountain, then Sarah is excited. If Mary were a musician, then Sarah is excited. For all x, if x_14 were excited, then x_14 is playing a game. Patricia is climbing a mountain or Mary is a musician. Therefore Sarah is playing a game.
p -> P(a). q -> P(a). forall x: P(x) -> Q(x). p or q. Therefore Q(a).