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