Translate the following inference to logic notation: For all x, x_14 is curious if and only if x_14 is a cashier. It is windy if and only if Thomas is a cashier. Therefore if it is windy, then Thomas is curious.
forall x: P(x) <-> Q(x). p <-> Q(a). Therefore p -> P(a).