The cat chases the cow. The cat eats the cow. The cow does not eat the cat. If someone chases the cow then the cow likes the cat.
The cow does not chase the cat.
@0: The cat chases the cow.[(triple1)] The cat eats the cow.[(triple2)] The cow does not eat the cat.[(triple3)] @1: The cow likes the cat.[(((triple1) -> rule1))]