Consider the following premises. If Robert were a police officer, then Patricia is playing squash. If Susan goes running, then Patricia is playing squash. If Susan reads a book, then Robert is a police officer. For all x_8, x_8 will go running or x_8 will read a book. Can we infer the following from them? If we can, name the inference rule being used: Patricia is not playing squash.
 From the fact that for all x_8, x_8 will go running or x_8 will read a book we can infer that Susan is running or Susan is reading a book via universal instantiation. From the fact that if Susan reads a book, then Robert is a police officer, and that if Robert were a police officer, then Patricia is playing squash we can infer that if Susan reads a book, then Patricia is playing squash via transitivity. Finally, from the fact that if Susan goes running, then Patricia is playing squash, that if Susan reads a book, then Patricia is playing squash, and that Susan is running or Susan is reading a book we can infer that Patricia is playing squash via disjunction elimination, which contradicts that Patricia is not playing squash. Therefore, the answer is no.