Consider the following premises. If Sarah were a sailor, then it is late. It is snowing if and only if Jessica is listening to a song. If it is late, then it is snowing. Sarah is a sailor or David is not an artist. Jessica is listening to a song or David is an artist. Can we infer the following from them? If we can, name the inference rule being used: It is snowing.
 From the fact that Sarah is a sailor or David is not an artist we can infer that if David were an artist, then Sarah is a sailor via rewriting. From the fact that if David were an artist, then Sarah is a sailor, and that if Sarah were a sailor, then it is late we can infer that if David were an artist, then it is late via transitivity. From the fact that if David were an artist, then it is late, and that if it is late, then it is snowing we can infer that if David were an artist, then it is snowing via transitivity. From the fact that it is snowing if and only if Jessica is listening to a song we can infer that if Jessica listens to a song, then it is snowing via biconditional elimination. Finally, from the fact that if Jessica listens to a song, then it is snowing, that if David were an artist, then it is snowing, and that Jessica is listening to a song or David is an artist we can infer that it is snowing via disjunction elimination. Therefore, the answer is yes.