The cow likes the rabbit. The rabbit is kind. The rabbit visits the cow. If someone visits the cow then the cow chases the rabbit. If someone chases the rabbit then they visit the cow.
The cow visits the cow.
@0: The cow likes the rabbit.[(triple1)] The rabbit is kind.[(triple2)] The rabbit visits the cow.[(triple3)] @1: The cow chases the rabbit.[(((triple3) -> rule1))] @2: The cow visits the cow.[(((((triple3) -> rule1)) -> rule2))]