Translate the following inference to logic notation: Susan is not a soldier. For all x, x_7 is an office clerk if and only if x_7 is excited. If Barbara were excited, then Susan is a soldier. Therefore Barbara is not an office clerk.
~p. forall x: P(x) <-> Q(x). Q(a) -> p. Therefore ~P(a).