The cow visits the rabbit. The rabbit needs the cow. If someone likes the cow then the cow visits the rabbit. If someone visits the cow and the cow visits the rabbit then they are round. If someone visits the rabbit and the rabbit needs the cow then the cow likes the rabbit.
The rabbit likes the cow.
@0: The cow visits the rabbit.[(triple1)] The rabbit needs the cow.[(triple2)] @1: The cow likes the rabbit.[(((triple1 triple2) -> rule3))]