Consider the following premises. For all y_1, if y_1 were a sailor, then y_1 is a janitor. For all y_1, if y_1 were a janitor, then y_1 is a sailor. If Susan were a musician, then John is a sailor. Can we infer the following from them? John is a sailor.
We cannot infer that from the premises. Therefore the answer is no.