Consider the following premises. It is snowing if and only if John is drinking water. Michael is not cooking. For all x_15, if x_15 drinks water, then x_15 is playing tennis. John is playing tennis if and only if Michael is cooking. Can we infer the following from them? It is snowing.
 From the fact that for all x_15, if x_15 drinks water, then x_15 is playing tennis we can infer that if John drinks water, then John is playing tennis. From the fact that John is playing tennis if and only if Michael is cooking, and that Michael is not cooking we can infer that John is not playing tennis. From the fact that if John drinks water, then John is playing tennis, and that John is not playing tennis we can infer that John is not drinking water. Finally, from the fact that it is snowing if and only if John is drinking water, and that John is not drinking water we can infer that it is not snowing, which contradicts that It is snowing. Therefore, the answer is no.