Consider the following premises. For all x_14, if x_14 drinks water, then x_14 is a taxi driver. Susan is not a taxi driver. Barbara is playing squash. Can we infer the following from them? If we can, name the inference rule being used: Susan is drinking water.
 From the fact that for all x_14, if x_14 drinks water, then x_14 is a taxi driver we can infer that if Susan drinks water, then Susan is a taxi driver via universal instantiation. Finally, from the fact that if Susan drinks water, then Susan is a taxi driver, and that Susan is not a taxi driver we can infer that Susan is not drinking water via modus tollens, which contradicts that Susan is drinking water. Therefore, the answer is no.