A woman in a red coat is crossing a busy intersection
A woman in a green coat is crossing a bridge
The coat cannot be green if it is not red. You cannot cross a bridge at the same time as crossing a busy intersection
(-x)
(-x)