Consider the following premises. Charles is running or it is windy. If Thomas makes tea, then Patricia is fast. If it is windy, then Patricia is fast. For all y, y is an electrician. Charles is not running or Thomas is making tea. Can we infer the following from them? If we can, name the inference rule being used: Patricia is not fast.
 From the fact that Charles is running or it is windy, and that Charles is not running or Thomas is making tea we can infer that it is windy or Thomas is making tea via resolution. Finally, from the fact that if it is windy, then Patricia is fast, that if Thomas makes tea, then Patricia is fast, and that it is windy or Thomas is making tea we can infer that Patricia is fast via disjunction elimination, which contradicts that Patricia is not fast. Therefore, the answer is no.