Consider the following premises. It is sunny. Jennifer is not a mechanic. William is poor if and only if Jennifer is a mechanic. Can we infer the following from them? If we can, name the inference rule being used: William is not poor and it is sunny.
 From the fact that William is poor if and only if Jennifer is a mechanic, and that Jennifer is not a mechanic we can infer that William is not poor via biconditional elimination. Finally, from the fact that William is not poor, and that it is sunny we can infer that William is not poor and it is sunny via conjunction. Therefore, the answer is yes.