A yellow tractor sits on a hillside.
The farmer drives the red tractor.
The farmer drives a red tractor, so the tractor cannot be yellow. Also, if the yellow tractor sits on a hillside, the farmer cannot be driving the tractor.
(-x)
(-x)