Consider the following premises. Mary is not a bartender. Susan is driving a car if and only if Mary is a bartender. Mary is a bartender or Susan is not driving a car. It is cold. Can we infer the following from them? Susan is not driving a car and it is cold.
 From the fact that Susan is driving a car if and only if Mary is a bartender we can infer that if Mary were a bartender, then Susan is driving a car. From the fact that Mary is a bartender or Susan is not driving a car we can infer that if Susan drives a car, then Mary is a bartender. From the fact that if Susan drives a car, then Mary is a bartender, and that if Mary were a bartender, then Susan is driving a car we can infer that Susan is driving a car if and only if Mary is a bartender. From the fact that Susan is driving a car if and only if Mary is a bartender, and that Mary is not a bartender we can infer that Susan is not driving a car. Finally, from the fact that Susan is not driving a car, and that it is cold we can infer that Susan is not driving a car and it is cold. Therefore, the answer is yes.