The cow is green. All green people are young. If the cow is young and the cow is green then the cow is kind.
The cow is green.
@0: The cow is green.[(triple1)] @1: The cow is young.[(((triple1) -> rule1))] @2: The cow is kind.[(((((triple1) -> rule1) triple1) -> rule2))]