Suppose that Ann, Bob and Carla are at a restaurant having dinner. A waiter takes their drink order: Ann orders red wine, Bob orders white wine, and Carla orders a beer.
A different waiter returns with a red wine, a white wine and a beer.
After learning who ordered the red wine and the white wine, the water can infer that Carla ordered a beer.
