Consider the following premises. Barbara is not running. If it snows, then it is late. For all x_15, if x_15 cooks, then x_15 is running. It is late if and only if Barbara is cooking. Can we infer the following from them? David is working.
We cannot infer that from the premises. Therefore the answer is no.