The cow does not like the rabbit. The rabbit eats the cow. If something is green and it likes the rabbit then it eats the rabbit. If something eats the cow then it likes the cow.
The cow does not like the rabbit.
@0: The cow does not like the rabbit.[(triple1)] The rabbit eats the cow.[(triple2)] @1: The rabbit likes the cow.[(((triple2) -> rule2))]