Consider the following premises. If John works, then John is excited. For all x_9, x_9 is excited if and only if x_9 will work. Can we infer the following from them? The fact that John works does not imply that John is excited.
That contradicts the premises. Therefore the answer is no.