Consider the following premises. Elisabeth is drinking water if and only if Joseph is a taxi driver. Elisabeth is drinking water. If Richard works, then Joseph is a taxi driver. Can we infer the following from them? If we can, name the inference rule being used: Elisabeth is drinking water.
That is one of the premises. Therefore, the answer is yes.