A dog lays on a mattress on the porch.
A dog is running around outside playing.
A dog that is running cannot also be a dog that lays on a mattress. A dog can't be on the porch and outside at the same time.
(-x)
(-x)