Consider the following premises. For all x, if x makes tea, then x is writing a letter. For all x_8, x_8 will make tea. For all x, if x writes a letter, then x is making tea. Can we infer the following from them? Barbara is fast.
We cannot infer that from the premises. Therefore the answer is no.