Consider the following premises. Patricia is not playing a game. Charles is a sailor if and only if Patricia is playing a game. For all z, z is a sailor if and only if z will drive a car. Can we infer the following from them? Charles is not driving a car.
 From the fact that for all z, z is a sailor if and only if z will drive a car we can infer that Charles is a sailor if and only if Charles is driving a car. From the fact that Charles is a sailor if and only if Patricia is playing a game, and that Patricia is not playing a game we can infer that Charles is not a sailor. Finally, from the fact that Charles is a sailor if and only if Charles is driving a car, and that Charles is not a sailor we can infer that Charles is not driving a car. Therefore, the answer is yes.