The cow is red. The cow likes the rabbit. The rabbit visits the cow. If something sees the rabbit then the rabbit likes the cow. If something visits the rabbit then it is young. If the rabbit visits the cow and the cow likes the rabbit then the cow visits the rabbit.
The rabbit does not like the rabbit.
@0: The cow is red.[(triple1)] The cow likes the rabbit.[(triple2)] The rabbit visits the cow.[(triple3)] @1: The cow visits the rabbit.[(((triple3 triple2) -> rule3))] @2: The cow is young.[(((((triple3 triple2) -> rule3)) -> rule2))]