The cat eats the lion. The cat likes the dog. The cow likes the lion. The dog needs the cow. The lion eats the cat. The lion likes the dog. The lion needs the cat. If someone eats the cat then they eat the lion.
The cow is kind.
@0: The cat eats the lion.[(triple1)] The cat likes the dog.[(triple2)] The cow likes the lion.[(triple3)] The dog needs the cow.[(triple4)] The lion eats the cat.[(triple5)] The lion likes the dog.[(triple6)] The lion needs the cat.[(triple7)] @1: The lion eats the lion.[(((triple5) -> rule1))]