The cow is nice. If the cow is green then the cow is round. Round, rough things are green. If the cow is nice and the cow is rough then the cow is round. If the cow is young and the cow is round then the cow is nice. If the cow is nice then the cow is rough. Young things are rough.
The cow visits the cow.
@0: The cow is nice.[(triple1)] @1: The cow is rough.[(((triple1) -> rule5))] @2: The cow is round.[(((triple1 ((triple1) -> rule5)) -> rule3))] @3: The cow is green.[(((((triple1 ((triple1) -> rule5)) -> rule3) ((triple1) -> rule5)) -> rule2))]