Consider the following premises. John is a bartender or Joseph is not taking a plane. Jessica is listening to a song or it is snowing. Jessica is not listening to a song or Joseph is taking a plane. John is a bartender if and only if it is snowing. Can we infer the following from them? If we can, name the inference rule being used: John is a bartender.
 From the fact that Jessica is listening to a song or it is snowing, and that Jessica is not listening to a song or Joseph is taking a plane we can infer that it is snowing or Joseph is taking a plane via resolution. From the fact that John is a bartender or Joseph is not taking a plane we can infer that if Joseph takes a plane, then John is a bartender via rewriting. From the fact that John is a bartender if and only if it is snowing we can infer that if it snows, then John is a bartender via biconditional elimination. Finally, from the fact that if it snows, then John is a bartender, that if Joseph takes a plane, then John is a bartender, and that it is snowing or Joseph is taking a plane we can infer that John is a bartender via disjunction elimination. Therefore, the answer is yes.