Consider the following premises. For all y, y will work if and only if y is poor. For all y, y will work or y is not poor. There is at least one y for which if y were poor, then y is working. Can we infer the following from them? For all y, if is not true that y will work if and only if y is poor.
That contradicts the premises. Therefore the answer is no.