Translate the following inference to logic notation: For all x, y_1 is a cashier if and only if y_1 will read a book. There is at least one x for which if y_1 were a server, then y_1 is a cashier. For all x, if y_1 were an office clerk, then y_1 is driving a car. For all x, if y_1 reads a book, then y_1 is an office clerk. Therefore there is at least one x for which if y_1 were a server, then y_1 is driving a car.
forall x: P(x) <-> Q(x). exists x: R(x) -> P(x). forall x: S(x) -> T(x). forall x: Q(x) -> S(x). Therefore exists x: R(x) -> T(x).