Consider the following premises. Michael is not a cashier. Robert is drinking water if and only if Michael is a cashier. Can we infer the following from them? If we can, name the inference rule being used: Robert is not drinking water.
We can infer this via the biconditional elimination rule. Therefore, the answer is yes.