A man in a red shirt and blue pants is going into a building while a dog watches him.
The man is going into a building.
We know a man is going into a building because a dog watches him enter one.
(-x)
(-x)