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