The kitchen worker at a restaurant observes the dining room, including a man in a red jacket.
The dining room is empty.
There cannot be an empty dining room if a worker observes a man in the dining room.
(-x)
(-x)