Consider the following premises. For all x, if x were fast, then x is not taking a plane. For all x, x is fast or x will sleep. For all x, x will take a plane. Can we infer the following from them? If we can, name the inference rule being used: Jessica is not sleeping.
 From the fact that for all x, if x were fast, then x is not taking a plane, and that for all x, x will take a plane we can infer that for all x, x is not fast via universal modus tollens. Finally, from the fact that for all x, x is fast or x will sleep, and that for all x, x is not fast we can infer that for all x, x will sleep via universal disjunctive syllogism, which contradicts that Jessica is not sleeping. Therefore, the answer is no.