The dog is big. The dog is not blue. The dog is green. The dog is red. The dog is not rough. If someone is red and blue then they are green. Red people are big. If the dog is rough and the dog is green then the dog is big. Rough people are green. All green, blue people are red. If the dog is blue and the dog is not big then the dog is green.
The dog is blue.