Consider the following premises. David is reading a book or Karen is a poet. David is not reading a book or Charles is climbing a mountain. Karen is a poet if and only if Barbara is an artist. If Charles climbs a mountain, then Barbara is an artist. Can we infer the following from them? If we can, name the inference rule being used: Barbara is an artist.
 From the fact that Karen is a poet if and only if Barbara is an artist we can infer that if Karen were a poet, then Barbara is an artist via biconditional elimination. From the fact that David is reading a book or Karen is a poet, and that David is not reading a book or Charles is climbing a mountain we can infer that Karen is a poet or Charles is climbing a mountain via resolution. Finally, from the fact that if Karen were a poet, then Barbara is an artist, that if Charles climbs a mountain, then Barbara is an artist, and that Karen is a poet or Charles is climbing a mountain we can infer that Barbara is an artist via disjunction elimination. Therefore, the answer is yes.