The cow is blue. The cow is red. The cow is rough. If something is red then it is young. If something is nice then it is red. If the cow is young and the cow is blue then the cow is nice.
The cow does not eat the cow.
@0: The cow is blue.[(triple1)] The cow is red.[(triple2)] The cow is rough.[(triple3)] @1: The cow is young.[(((triple2) -> rule1))] @2: The cow is nice.[(((((triple2) -> rule1) triple1) -> rule3))]