Translate the following inference to logic notation: For all x, x_12 is bored if and only if x_12 is a bartender. It is overcast or Patricia is bored. If it is overcast, then Charles is playing squash. If Charles plays squash, then Patricia is a bartender. Therefore Patricia is a bartender.
forall x: P(x) <-> Q(x). p or P(a). p -> q. q -> Q(a). Therefore Q(a).