The cat eats the squirrel. The squirrel chases the cat. If someone eats the squirrel and they are not round then they eat the cat. If someone needs the squirrel then they do not chase the squirrel. If someone eats the squirrel then they need the squirrel.
The squirrel does not need the squirrel.
@0: The cat eats the squirrel.[(triple1)] The squirrel chases the cat.[(triple2)] @1: The cat needs the squirrel.[(((triple1) -> rule3))] @2: The cat does not chase the squirrel.[(((((triple1) -> rule3)) -> rule2))]