Consider the following premises. For all x_10, if x_10 reads a book, then x_10 is cooking. For all x_10, if x_10 were a scientist, then x_10 is cooking. For all x_5, if x_5 cooks, then x_5 is fast. For all x_10, x_10 is a scientist or x_10 will read a book. Can we infer the following from them? If we can, name the inference rule being used: James is not fast.
 From the fact that for all x_10, if x_10 were a scientist, then x_10 is cooking, that for all x_10, if x_10 reads a book, then x_10 is cooking, and that for all x_10, x_10 is a scientist or x_10 will read a book we can infer that for all x_10, x_10 will cook via universal disjunction elimination. From the fact that for all x_10, x_10 will cook we can infer that James is cooking via universal instantiation. From the fact that for all x_5, if x_5 cooks, then x_5 is fast we can infer that if James cooks, then James is fast via universal instantiation. Finally, from the fact that if James cooks, then James is fast, and that James is cooking we can infer that James is fast via modus ponens, which contradicts that James is not fast. Therefore, the answer is no.