Translate the following inference to logic notation: If Robert were a cashier, then Karen is not sad. For all x, x_7 is bored if and only if x_7 is a cashier. Karen is sad. Therefore Robert is not bored.
P(a) -> ~p. forall x: Q(x) <-> P(x). p. Therefore ~Q(a).