The cow is green. The rabbit sees the cow. If something is green then it sees the rabbit. If something likes the cow then it is young. If the cow sees the rabbit then the cow visits the rabbit.
The cow does not see the rabbit.
@0: The cow is green.[(triple1)] The rabbit sees the cow.[(triple2)] @1: The cow sees the rabbit.[(((triple1) -> rule1))] @2: The cow visits the rabbit.[(((((triple1) -> rule1)) -> rule3))]