The cow is green. The cow is kind. The cow is young. Green, young people are cold. All kind, cold people are nice.
The cow needs the cow.
@0: The cow is green.[(triple1)] The cow is kind.[(triple2)] The cow is young.[(triple3)] @1: The cow is cold.[(((triple1 triple3) -> rule1))] @2: The cow is nice.[(((triple2 ((triple1 triple3) -> rule1)) -> rule2))]