Consider the following premises. It is raining or it is overcast. It is not late. It is raining if and only if it is late. James is curious and it is snowing. Can we infer the following from them? If we can, name the inference rule being used: James is not curious.
 From the fact that it is raining if and only if it is late, and that it is not late we can infer that it is not raining via biconditional elimination. From the fact that it is raining or it is overcast, and that it is not raining we can infer that it is overcast via disjunctive syllogism. Finally, from the fact that James is curious and it is snowing we can infer that James is curious via simplification, which contradicts that James is not curious. Therefore, the answer is no.