Consider the following premises. Elisabeth is happy or Elisabeth is not a poet. For all x_14, x_14 is a poet if and only if x_14 is happy. Can we infer the following from them? If is not true that Elisabeth is a poet if and only if Elisabeth is happy.
That contradicts the premises. Therefore the answer is no.