Consider the following premises. Karen is working or Charles is not drinking water. Karen is working if and only if Charles is drinking water. Can we infer the following from them? Karen is working if and only if Charles is drinking water.
That is one of the premises. Therefore, the answer is yes.