Consider the following premises. It is sunny if and only if it is overcast. It is not overcast. If it rains, then it is sunny. James is a writer if and only if it is raining. Can we infer the following from them? If we can, name the inference rule being used: James is a writer.
 From the fact that it is sunny if and only if it is overcast, and that it is not overcast we can infer that it is not sunny via biconditional elimination. From the fact that if it rains, then it is sunny, and that it is not sunny we can infer that it is not raining via modus tollens. Finally, from the fact that James is a writer if and only if it is raining, and that it is not raining we can infer that James is not a writer via biconditional elimination, which contradicts that James is a writer. Therefore, the answer is no.