Consider the following premises. John is running or James is playing tennis. For all x_7, x_7 is a taxi driver if and only if x_7 will go running. John is not a taxi driver. Can we infer the following from them? It is not cold.
We cannot infer that from the premises. Therefore the answer is no.