Consider the following premises. For all x, x will not play a game. If David drives a car, then Thomas is drinking water. If Thomas drinks water, then David is driving a car. Thomas is playing a game if and only if Thomas is drinking water. Can we infer the following from them? David is driving a car.
 From the fact that if David drives a car, then Thomas is drinking water, and that if Thomas drinks water, then David is driving a car we can infer that David is driving a car if and only if Thomas is drinking water. From the fact that for all x, x will not play a game we can infer that Thomas is not playing a game. From the fact that Thomas is playing a game if and only if Thomas is drinking water, and that Thomas is not playing a game we can infer that Thomas is not drinking water. Finally, from the fact that David is driving a car if and only if Thomas is drinking water, and that Thomas is not drinking water we can infer that David is not driving a car, which contradicts that David is driving a car. Therefore, the answer is no.