The dog is young. Young people are nice. Young, nice people are red. Nice, round people are young. If the dog is young then the dog is blue. If someone is young and blue then they are nice. All young, red people are round. All round, blue people are nice. If the dog is nice then the dog is red.
The dog is not nice.