Man wearing a red shirt is waiting in line at a restaurant.
A man wearing a black trench coat with no shirt under neath is waiting in line at a restaurant.
One cannot be wearing a red shirt if there is no shirt under neath the black trench coat.
(-x)
(-x)