Consider the following premises. For all x_14, x_14 is fast. If Mary were fast, then it is windy. For all x_14, x_14 is a janitor. Can we infer the following from them? If we can, name the inference rule being used: It is windy.
 From the fact that for all x_14, x_14 is fast, and that for all x_14, x_14 is a janitor we can infer that for all x_14, x_14 is fast and x_14 is a janitor via universal conjunction. From the fact that for all x_14, x_14 is fast and x_14 is a janitor we can infer that for all x_14, x_14 is fast via universal simplification. From the fact that for all x_14, x_14 is fast we can infer that Mary is fast via universal instantiation. Finally, from the fact that if Mary were fast, then it is windy, and that Mary is fast we can infer that it is windy via modus ponens. Therefore, the answer is yes.