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 does not eat 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)]