Translate the following inference to logic notation: For all x, x_7 will read a book if and only if x_7 is an office clerk. If it is windy, then Sarah is reading a book. Therefore if it is windy, then Sarah is an office clerk.
forall x: P(x) <-> Q(x). p -> P(a). Therefore p -> Q(a).