Consider the following premises. Sarah is not driving a car. Sarah is driving a car if and only if it is raining. If it doesn't rain, then it is late. Can we infer the following from them? If we can, name the inference rule being used: It is late.
 From the fact that Sarah is driving a car if and only if it is raining, and that Sarah is not driving a car we can infer that it is not raining via biconditional elimination. Finally, from the fact that if it doesn't rain, then it is late, and that it is not raining we can infer that it is late via modus ponens. Therefore, the answer is yes.