Consider the following premises. Jessica is playing tennis if and only if Richard is a police officer. If Richard were a police officer, then Richard is bored. For all x_13, x_13 will play tennis or x_13 will drink water. Richard is not bored. Can we infer the following from them? If we can, name the inference rule being used: Jessica is drinking water.
 From the fact that for all x_13, x_13 will play tennis or x_13 will drink water we can infer that Jessica is playing tennis or Jessica is drinking water via universal instantiation. From the fact that if Richard were a police officer, then Richard is bored, and that Richard is not bored we can infer that Richard is not a police officer via modus tollens. From the fact that Jessica is playing tennis if and only if Richard is a police officer, and that Richard is not a police officer we can infer that Jessica is not playing tennis via biconditional elimination. Finally, from the fact that Jessica is playing tennis or Jessica is drinking water, and that Jessica is not playing tennis we can infer that Jessica is drinking water via disjunctive syllogism. Therefore, the answer is yes.