The bear needs the cat. The cat needs the squirrel. The squirrel chases the bear. If the bear needs the cat then the bear chases the squirrel. If the bear chases the squirrel then the bear is round.
The bear is round.
@0: The bear needs the cat.[(triple1)] The cat needs the squirrel.[(triple2)] The squirrel chases the bear.[(triple3)] @1: The bear chases the squirrel.[(((triple1) -> rule1))] @2: The bear is round.[(((((triple1) -> rule1)) -> rule2))]