Consider the following premises. For all x_7, x_7 will work if and only if x_7 will go running. If Jessica goes running, then David is a sailor. Can we infer the following from them? Jessica is running.
We cannot infer that from the premises. Therefore the answer is no.