Consider the following premises. It is windy if and only if Jessica is a mechanic. If David drinks water, then Jessica is a mechanic. Thomas is a bartender or David is drinking water. Thomas is not a bartender or it is windy. Can we infer the following from them? If we can, name the inference rule being used: Jessica is not a mechanic.
 From the fact that Thomas is a bartender or David is drinking water, and that Thomas is not a bartender or it is windy we can infer that David is drinking water or it is windy via resolution. From the fact that it is windy if and only if Jessica is a mechanic we can infer that if it is windy, then Jessica is a mechanic via biconditional elimination. Finally, from the fact that if David drinks water, then Jessica is a mechanic, that if it is windy, then Jessica is a mechanic, and that David is drinking water or it is windy we can infer that Jessica is a mechanic via disjunction elimination, which contradicts that Jessica is not a mechanic. Therefore, the answer is no.