The dog is blue. The dog is green. The dog is nice. If something is blue and green then it is red. All rough, red things are green. If something is red then it is green. If the dog is red then the dog is rough. If something is not green then it is rough. If something is not green then it is nice. If something is not rough then it is not green. If something is not nice then it is not rough.
The dog is blue.