Consider the following premises. For all x_14, x_14 will play squash if and only if x_14 will drink water. Sarah is not drinking water. Sarah is playing squash or it is snowing. Can we infer the following from them? If we can, name the inference rule being used: Robert is listening to a song or it is snowing.
 From the fact that for all x_14, x_14 will play squash if and only if x_14 will drink water we can infer that Sarah is playing squash if and only if Sarah is drinking water via universal instantiation. From the fact that Sarah is playing squash if and only if Sarah is drinking water, and that Sarah is not drinking water we can infer that Sarah is not playing squash via biconditional elimination. From the fact that Sarah is not playing squash we can infer that Sarah is not playing squash or Robert is listening to a song via addition. Finally, from the fact that Sarah is not playing squash or Robert is listening to a song, and that Sarah is playing squash or it is snowing we can infer that Robert is listening to a song or it is snowing via resolution. Therefore, the answer is yes.