Consider the following premises. Sarah is a mechanic. If Robert were an astronaut, then Barbara is writing a letter. For all x_18, x_18 is an astronaut. Can we infer the following from them? Sarah is not a mechanic.
That contradicts the premises. Therefore the answer is no.