The dog is big. The dog is green. The dog is red. The dog is rough. The dog is young. Green, red things are rough. Green, rough things are young.
The dog eats the dog.
@0: The dog is big.[(triple1)] The dog is green.[(triple2)] The dog is red.[(triple3)] The dog is rough.[(triple4 OR ((triple2 triple3) -> rule1))] The dog is young.[(triple5 OR ((triple2 triple4) -> rule2) OR ((triple2 ((triple2 triple3) -> rule1)) -> rule2))]