The dog is blue. If the dog is young then the dog is nice. If someone is young then they are not blue. If someone is young and not blue then they are cold. Cold, young people are not nice. All cold, green people are nice. If the dog is cold and the dog is young then the dog is green. If the dog is not cold then the dog is green. All nice, cold people are green.
The dog is not blue.
@0: The dog is blue.[(triple1)]