Consider the following premises. For all y, if y were happy, then y is taking a plane. There is at least one y for which y will take a plane if and only if y is happy. Can we infer the following from them? For all y, the fact that y were happy does not imply that y is taking a plane.
That contradicts the premises. Therefore the answer is no.