The lion chases the squirrel. The lion likes the rabbit. The rabbit is green. The rabbit likes the squirrel. The squirrel chases the lion. The squirrel is young. The squirrel needs the lion. If something needs the rabbit then it is big. If something is green then it needs the lion. If something likes the rabbit then the rabbit is nice. If the lion needs the rabbit then the rabbit chases the squirrel. If something is big and green then it needs the squirrel. If the lion likes the squirrel and the squirrel likes the lion then the lion chases the squirrel.
The squirrel chases the squirrel.
@0: The lion chases the squirrel.[(triple1)] The lion likes the rabbit.[(triple2)] The rabbit is green.[(triple3)] The rabbit likes the squirrel.[(triple4)] The squirrel chases the lion.[(triple5)] The squirrel is young.[(triple6)] The squirrel needs the lion.[(triple7)] @1: The rabbit is nice.[(((triple2) -> rule3))] The rabbit needs the lion.[(((triple3) -> rule2))]