Consider the following premises. Mary is a lawyer. If Joseph were a mechanic, then Mary is not a lawyer. For all z, z is a mechanic or z is curious. Can we infer the following from them? If we can, name the inference rule being used: Mary is an astronaut.
We cannot infer that from the premises. Therefore the answer is no.