Consider the following premises. Thomas is an electrician. Linda is drinking water if and only if Charles is bored. If Thomas were an electrician, then Charles is bored. Can we infer the following from them? If we can, name the inference rule being used: Linda is drinking water.
 From the fact that Linda is drinking water if and only if Charles is bored we can infer that if Charles were bored, then Linda is drinking water via biconditional elimination. From the fact that if Thomas were an electrician, then Charles is bored, and that Thomas is an electrician we can infer that Charles is bored via modus ponens. Finally, from the fact that if Charles were bored, then Linda is drinking water, and that Charles is bored we can infer that Linda is drinking water via modus ponens. Therefore, the answer is yes.