Consider the following premises. Jessica is a writer if and only if Jennifer is an electrician. Jennifer is an electrician or it is not cloudy. Jessica is not a writer. Can we infer the following from them? If we can, name the inference rule being used: It is not cloudy.
 From the fact that Jennifer is an electrician or it is not cloudy we can infer that if it is cloudy, then Jennifer is an electrician via rewriting. From the fact that Jessica is a writer if and only if Jennifer is an electrician, and that Jessica is not a writer we can infer that Jennifer is not an electrician via biconditional elimination. Finally, from the fact that if it is cloudy, then Jennifer is an electrician, and that Jennifer is not an electrician we can infer that it is not cloudy via modus tollens. Therefore, the answer is yes.