Consider the following premises. If James drinks water, then John is sad. If John were sad, then James is drinking water. James is drinking water or John is not sad. Can we infer the following from them? If we can, name the inference rule being used: James is drinking water if and only if John is sad.
We can infer this via the biconditional introduction rule. Therefore, the answer is yes.