The dog is blue. The dog is not green. The dog is not nice. The dog is red. The dog is round. If something is blue then it is round. Blue things are round. If the dog is green and the dog is not red then the dog is blue.
The dog is not blue.