Consider the following premises. If Charles makes tea, then Elisabeth is excited. Elisabeth is excited if and only if Charles is working. For all x_3, x_3 will make tea if and only if x_3 will work. Can we infer the following from them? If is not true that Charles is working if and only if Elisabeth is excited.
That contradicts the premises. Therefore the answer is no.