Consider the following premises. David is drinking water. Robert is not reading a book. For all x_11, x_11 will read a book if and only if x_11 will drive a car. Can we infer the following from them? If we can, name the inference rule being used: David is not drinking water.
That contradicts the premises. Therefore the answer is no.