The dog is big. The dog is blue. The dog is cold. The dog is green. The dog is nice. Blue, nice people are cold.
The dog visits the dog.
@0: The dog is big.[(triple1)] The dog is blue.[(triple2)] The dog is cold.[(triple3 OR ((triple2 triple5) -> rule1))] The dog is green.[(triple4)] The dog is nice.[(triple5)]