Consider the following premises. If Joseph takes a plane, then John is rich. John is rich or Joseph is not drinking water. For all x_17, x_17 will take a plane or x_17 will drink water. Can we infer the following from them? It is cloudy.
We cannot infer that from the premises. Therefore the answer is no.