The bear chases the rabbit. The bear chases the squirrel. The cow needs the squirrel. The rabbit needs the cow. The rabbit needs the squirrel. The squirrel likes the rabbit. The squirrel needs the cow. If something likes the squirrel then it needs the bear. If the rabbit likes the cow and the rabbit needs the cow then the rabbit chases the bear. If something likes the rabbit then the rabbit is green. If something chases the bear then the bear likes the cow. If something is blue then it likes the squirrel. If something is green then it likes the squirrel. If something chases the rabbit and it is cold then it does not need the rabbit. If something chases the bear and it chases the rabbit then it likes the bear.
The squirrel likes the bear.
@0: The bear chases the rabbit.[(triple1)] The bear chases the squirrel.[(triple2)] The cow needs the squirrel.[(triple3)] The rabbit needs the cow.[(triple4)] The rabbit needs the squirrel.[(triple5)] The squirrel likes the rabbit.[(triple6)] The squirrel needs the cow.[(triple7)] @1: The rabbit is green.[(((triple6) -> rule3))] @2: The rabbit likes the squirrel.[(((((triple6) -> rule3)) -> rule6))] @3: The rabbit needs the bear.[(((((((triple6) -> rule3)) -> rule6)) -> rule1))]