Consider the following premises. For all x_16, if x_16 plays tennis, then x_16 is making tea. If Michael makes tea, then Michael is playing tennis. Michael is not making tea. Can we infer the following from them? It is not snowing.
We cannot infer that from the premises. Therefore the answer is no.