Consider the following premises. Richard is an electrician if and only if it is snowing. It is not snowing. If Robert were a poet, then Richard is an electrician. Robert is a poet if and only if Michael is working. Can we infer the following from them? If we can, name the inference rule being used: Michael is working.
 From the fact that Richard is an electrician if and only if it is snowing, and that it is not snowing we can infer that Richard is not an electrician via biconditional elimination. From the fact that if Robert were a poet, then Richard is an electrician, and that Richard is not an electrician we can infer that Robert is not a poet via modus tollens. Finally, from the fact that Robert is a poet if and only if Michael is working, and that Robert is not a poet we can infer that Michael is not working via biconditional elimination, which contradicts that Michael is working. Therefore, the answer is no.