Consider the following premises. It is late or Jessica is drinking water. Mary is not a server. It is cold if and only if Mary is a server. It is late if and only if it is cold. Can we infer the following from them? If we can, name the inference rule being used: Jessica is drinking water.
 From the fact that it is late if and only if it is cold we can infer that if it is late, then it is cold via biconditional elimination. From the fact that it is cold if and only if Mary is a server, and that Mary is not a server we can infer that it is not cold via biconditional elimination. From the fact that if it is late, then it is cold, and that it is not cold we can infer that it is not late via modus tollens. Finally, from the fact that it is late or Jessica is drinking water, and that it is not late we can infer that Jessica is drinking water via disjunctive syllogism. Therefore, the answer is yes.