A man in a red shirt is smiling with food in front of him while seated at a table on an outside deck.
A man wearing a green shirt pats his belly after eating the large meal.
The man cannot be wearing a red shirt as well as a green shirt. He also cannot have food in front of him after eating his meal.
(-x)
(-x)