The cat eats the squirrel. The cat is big. The squirrel chases the cat. If someone eats the squirrel then they need the squirrel. If someone eats the squirrel then they eat the cat.
The squirrel does not need the squirrel.
@0: The cat eats the squirrel.[(triple1)] The cat is big.[(triple2)] The squirrel chases the cat.[(triple3)] @1: The cat eats the cat.[(((triple1) -> rule2))] The cat needs the squirrel.[(((triple1) -> rule1))]