The cow is blue. Round people are green. If the cow is blue then the cow is rough. Rough people are round.
The cow is rough.
@0: The cow is blue.[(triple1)] @1: The cow is rough.[(((triple1) -> rule2))] @2: The cow is round.[(((((triple1) -> rule2)) -> rule3))] @3: The cow is green.[(((((((triple1) -> rule2)) -> rule3)) -> rule1))]