Translate the following inference to logic notation: For all x, x_7 is bored if and only if x_7 is curious. Jessica is curious. Therefore Jessica is bored.
forall x: P(x) <-> Q(x). Q(a). Therefore P(a).