Translate the following inference to logic notation: For all x, x_9 is bored. If Michael were bored, then Karen is a police officer. Michael is fast if and only if Karen is a police officer. Therefore Karen is a police officer.
forall x: P(x). P(a) -> p. Q(a) <-> p. Therefore p.