The cat is rough. The lion needs the cat. The squirrel eats the lion. If something eats the lion then the lion does not eat the cat.
The lion does not need the lion.
@0: The cat is rough.[(triple1)] The lion needs the cat.[(triple2)] The squirrel eats the lion.[(triple3)] @1: The lion does not eat the cat.[(((triple3) -> rule1))]