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