Consider the following premises. James is an astronaut if and only if Jennifer is drinking water. Can we infer the following from them? If we can, name the inference rule being used: If James were an astronaut, then Jennifer is drinking water.
We can infer this via the biconditional elimination rule. Therefore, the answer is yes.