Consider the following premises. John is curious or William is not fast. John is curious if and only if Jennifer is an artist. Jennifer is an artist or William is fast. Can we infer the following from them? If we can, name the inference rule being used: John is curious.
 From the fact that John is curious or William is not fast we can infer that if William were fast, then John is curious via rewriting. From the fact that John is curious if and only if Jennifer is an artist we can infer that if Jennifer were an artist, then John is curious via biconditional elimination. Finally, from the fact that if Jennifer were an artist, then John is curious, that if William were fast, then John is curious, and that Jennifer is an artist or William is fast we can infer that John is curious via disjunction elimination. Therefore, the answer is yes.