Consider the following premises. It is sunny if and only if it is cold. It is overcast if and only if it is sunny. Jessica is a musician or it is cold. Jessica is not a musician or it is overcast. Can we infer the following from them? If we can, name the inference rule being used: It is sunny.
 From the fact that Jessica is a musician or it is cold, and that Jessica is not a musician or it is overcast we can infer that it is cold or it is overcast via resolution. From the fact that it is overcast if and only if it is sunny we can infer that if it is overcast, then it is sunny via biconditional elimination. From the fact that it is sunny if and only if it is cold we can infer that if it is cold, then it is sunny via biconditional elimination. Finally, from the fact that if it is cold, then it is sunny, that if it is overcast, then it is sunny, and that it is cold or it is overcast we can infer that it is sunny via disjunction elimination. Therefore, the answer is yes.