Consider the following premises. For all x_10, if x_10 drinks water, then x_10 is running. For all x_10, if x_10 goes running, then x_10 is drinking water. Jessica is not running. Can we infer the following from them? Jessica is drinking water.
 From the fact that for all x_10, if x_10 drinks water, then x_10 is running, and that for all x_10, if x_10 goes running, then x_10 is drinking water we can infer that for all x_10, x_10 will drink water if and only if x_10 will go running. From the fact that for all x_10, x_10 will drink water if and only if x_10 will go running we can infer that for all x_10, if x_10 drinks water, then x_10 is running. From the fact that for all x_10, if x_10 drinks water, then x_10 is running we can infer that if Jessica drinks water, then Jessica is running. Finally, from the fact that if Jessica drinks water, then Jessica is running, and that Jessica is not running we can infer that Jessica is not drinking water, which contradicts that Jessica is drinking water. Therefore, the answer is no.