The cow is big. The cow is blue. The cow is young. Young people are blue. If the cow is young and the cow is big then the cow is nice.
The cow chases the cow.
@0: The cow is big.[(triple1)] The cow is blue.[(triple2 OR ((triple3) -> rule1))] The cow is young.[(triple3)] @1: The cow is nice.[(((triple3 triple1) -> rule2))]