Consider the following premises. For all x_10, if x_10 drives a car, then x_10 is drinking water. It is late if and only if Richard is driving a car. Richard is not drinking water. Can we infer the following from them? It is not late.
 From the fact that for all x_10, if x_10 drives a car, then x_10 is drinking water we can infer that if Richard drives a car, then Richard is drinking water. From the fact that if Richard drives a car, then Richard is drinking water, and that Richard is not drinking water we can infer that Richard is not driving a car. Finally, from the fact that it is late if and only if Richard is driving a car, and that Richard is not driving a car we can infer that it is not late. Therefore, the answer is yes.