The dog is not blue. The dog is cold. The dog is nice. The dog is red. The dog is young. If the dog is cold and the dog is blue then the dog is not red.
The dog chases the dog.
@0: The dog is cold.[(triple2)] The dog is nice.[(triple3)] The dog is not blue.[(triple1)] The dog is red.[(triple4)] The dog is young.[(triple5)]