Consider the following premises. For all y, y is a bartender. It is raining if and only if Sarah is a bartender. Can we infer the following from them? If we can, name the inference rule being used: It is raining.
 From the fact that for all y, y is a bartender we can infer that Sarah is a bartender via universal instantiation. From the fact that it is raining if and only if Sarah is a bartender we can infer that if Sarah were a bartender, then it is raining via biconditional elimination. Finally, from the fact that if Sarah were a bartender, then it is raining, and that Sarah is a bartender we can infer that it is raining via modus ponens. Therefore, the answer is yes.