Translate the following inference to logic notation: For all x, if x_10 were poor, then x_10 is a mechanic. It is windy if and only if Charles is poor. Therefore if it is windy, then Charles is a mechanic.
forall x: P(x) -> Q(x). p <-> P(a). Therefore p -> Q(a).