The dog is blue. The dog is cold. The dog is nice. The dog is red. The dog is young. If the dog is blue and the dog is cold then the dog is young. Young, cold people are blue.
The dog does not eat the dog.
@0: The dog is blue.[(triple1 OR ((triple5 triple2) -> rule2))] The dog is cold.[(triple2)] The dog is nice.[(triple3)] The dog is red.[(triple4)] The dog is young.[(triple5 OR ((triple1 triple2) -> rule1))]