Translate the following inference to logic notation: For all x, if x_17 were a bartender, then x_17 is a soldier. Patricia is sad. If Karen were a soldier, then Patricia is not sad. For all x, if x_17 were a soldier, then x_17 is a bartender. Therefore Karen is not a bartender or Michael is a janitor.
forall x: P(x) -> Q(x). p. Q(a) -> ~p. forall x: Q(x) -> P(x). Therefore ~P(a) or q.