Consider the following premises. For all y_1, y_1 is a writer if and only if y_1 is poor. For all y_1, y_1 is not poor. Barbara is a writer if and only if Barbara is a bartender. Can we infer the following from them? Elisabeth is not a doctor.
We cannot infer that from the premises. Therefore the answer is no.