The bear chases the squirrel. The bear is nice. The bear likes the cow. The bear likes the squirrel. The bear needs the cow. The bear needs the squirrel. The cow is green. The squirrel is green. The tiger likes the cow. The tiger needs the squirrel. If someone likes the tiger and they need the squirrel then the squirrel likes the bear. If someone is green then they like the squirrel. If the bear is nice then the bear likes the tiger. If someone likes the bear and the bear needs the squirrel then the bear chases the cow. If the tiger needs the squirrel then the tiger likes the cow. If someone needs the cow then the cow chases the tiger.
The bear does not need the bear.
@0: The bear chases the squirrel.[(triple1)] The bear is nice.[(triple2)] The bear likes the cow.[(triple3)] The bear likes the squirrel.[(triple4)] The bear needs the cow.[(triple5)] The bear needs the squirrel.[(triple6)] The cow is green.[(triple7)] The squirrel is green.[(triple8)] The tiger likes the cow.[(triple9 OR ((triple10) -> rule5))] The tiger needs the squirrel.[(triple10)] @1: The bear likes the tiger.[(((triple2) -> rule3))] The cow chases the tiger.[(((triple5) -> rule6))] The cow likes the squirrel.[(((triple7) -> rule2))] The squirrel likes the squirrel.[(((triple8) -> rule2))] @2: The squirrel likes the bear.[(((((triple2) -> rule3) triple6) -> rule1))] @3: The bear chases the cow.[(((((((triple2) -> rule3) triple6) -> rule1) triple6) -> rule4))]