Consider the following premises. Thomas is poor if and only if James is curious. James is not curious. It is overcast. Can we infer the following from them? If we can, name the inference rule being used: Thomas is not poor.
 From the fact that Thomas is poor if and only if James is curious we can infer that if Thomas were poor, then James is curious via biconditional elimination. Finally, from the fact that if Thomas were poor, then James is curious, and that James is not curious we can infer that Thomas is not poor via modus tollens. Therefore, the answer is yes.