The bear chases the dog. The bear chases the squirrel. The dog chases the bear. The dog chases the squirrel. The rabbit is nice. The squirrel is big. The squirrel likes the bear. If something likes the bear then it is young. If something is young then it chases the dog.
The bear likes the squirrel.
@0: The bear chases the dog.[(triple1)] The bear chases the squirrel.[(triple2)] The dog chases the bear.[(triple3)] The dog chases the squirrel.[(triple4)] The rabbit is nice.[(triple5)] The squirrel is big.[(triple6)] The squirrel likes the bear.[(triple7)] @1: The squirrel is young.[(((triple7) -> rule1))] @2: The squirrel chases the dog.[(((((triple7) -> rule1)) -> rule2))]