Consider the following premises. For all x, if x drives a car, then x is a poet. For all x, x will drive a car if and only if x is a poet. Can we infer the following from them? For all x, x will drive a car if and only if x is a poet.
That is one of the premises. Therefore, the answer is yes.