The dog is big. The dog is cold. The dog is green. The dog is red. The dog is rough. If someone is red and big then they are rough.
The dog chases the dog.
@0: The dog is big.[(triple1)] The dog is cold.[(triple2)] The dog is green.[(triple3)] The dog is red.[(triple4)] The dog is rough.[(triple5 OR ((triple4 triple1) -> rule1))]