Consider the following premises. For all x_12, if x_12 were a bartender, then x_12 is driving a car. Robert is not driving a car. If Robert drives a car, then Robert is a bartender. Can we infer the following from them? Robert is a bartender.
 From the fact that for all x_12, if x_12 were a bartender, then x_12 is driving a car we can infer that if Robert were a bartender, then Robert is driving a car. From the fact that if Robert were a bartender, then Robert is driving a car, and that if Robert drives a car, then Robert is a bartender we can infer that Robert is a bartender if and only if Robert is driving a car. From the fact that Robert is a bartender if and only if Robert is driving a car we can infer that if Robert were a bartender, then Robert is driving a car. Finally, from the fact that if Robert were a bartender, then Robert is driving a car, and that Robert is not driving a car we can infer that Robert is not a bartender, which contradicts that Robert is a bartender. Therefore, the answer is no.