Consider the following premises. For all x_26, if x_26 takes a plane, then x_26 is playing a game. Charles is a poet and Patricia is a musician. For all x_26, x_26 will take a plane or x_26 is fast. For all x_26, if x_26 were fast, then x_26 is playing a game. For all x_26, if x_26 plays a game, then x_26 is a taxi driver. Can we infer the following from them? If we can, name the inference rule being used: Susan is not a taxi driver.
 From the fact that for all x_26, if x_26 takes a plane, then x_26 is playing a game, that for all x_26, if x_26 were fast, then x_26 is playing a game, and that for all x_26, x_26 will take a plane or x_26 is fast we can infer that for all x_26, x_26 will play a game via universal disjunction elimination. From the fact that Charles is a poet and Patricia is a musician we can infer that Charles is a poet via simplification. Finally, from the fact that for all x_26, if x_26 plays a game, then x_26 is a taxi driver, and that for all x_26, x_26 will play a game we can infer that for all x_26, x_26 is a taxi driver via universal modus ponens, which contradicts that Susan is not a taxi driver. Therefore, the answer is no.