Consider the following premises. It is not raining. It is cold or it is overcast. It is cold if and only if it is raining. Can we infer the following from them? If we can, name the inference rule being used: It is overcast.
 From the fact that it is cold if and only if it is raining we can infer that if it is cold, then it is raining via biconditional elimination. From the fact that if it is cold, then it is raining, and that it is not raining we can infer that it is not cold via modus tollens. Finally, from the fact that it is cold or it is overcast, and that it is not cold we can infer that it is overcast via disjunctive syllogism. Therefore, the answer is yes.