The bear is not blue. The bear likes the lion. The bear needs the cow. The cow likes the bear. The cow likes the lion. The lion is not kind. The lion likes the cow. If something is young and it needs the cow then the cow is young. If something needs the lion and it is big then the lion is not young. If something likes the cow and the cow likes the lion then the lion chases the bear. If something chases the cow and the cow is not kind then the cow chases the bear. If the cow chases the bear and the cow chases the lion then the cow is round. If something chases the bear then the bear chases the cow. If the lion is not young then the lion does not chase the cow. If something chases the bear then the bear chases the lion.
The cow needs the lion.
@0: The bear is not blue.[(triple1)] The bear likes the lion.[(triple2)] The bear needs the cow.[(triple3)] The cow likes the bear.[(triple4)] The cow likes the lion.[(triple5)] The lion is not kind.[(triple6)] The lion likes the cow.[(triple7)] @1: The lion chases the bear.[(((triple7 triple5) -> rule3))] @2: The bear chases the cow.[(((((triple7 triple5) -> rule3)) -> rule6))] The bear chases the lion.[(((((triple7 triple5) -> rule3)) -> rule8))]