The bear chases the rabbit. The bear is young. The cow chases the rabbit. The cow is kind. The rabbit eats the bear. The rabbit does not eat the squirrel. The rabbit needs the cow. The rabbit needs the squirrel. The squirrel chases the rabbit. The squirrel eats the rabbit. The squirrel is rough. The squirrel needs the bear. If the rabbit does not eat the cow then the cow eats the bear. If something is kind then it needs the cow. If something chases the rabbit and the rabbit does not chase the bear then the bear does not need the squirrel. If something eats the cow and it is not rough then it eats the rabbit. If something is blue then it does not need the rabbit. If the bear is kind then the bear chases the rabbit. If the rabbit needs the squirrel then the rabbit chases the squirrel. If something eats the cow and the cow eats the rabbit then it is not young.
The rabbit chases the squirrel.
@0: The bear chases the rabbit.[(triple1)] The bear is young.[(triple2)] The cow chases the rabbit.[(triple3)] The cow is kind.[(triple4)] The rabbit does not eat the squirrel.[(triple6)] The rabbit eats the bear.[(triple5)] The rabbit needs the cow.[(triple7)] The rabbit needs the squirrel.[(triple8)] The squirrel chases the rabbit.[(triple9)] The squirrel eats the rabbit.[(triple10)] The squirrel is rough.[(triple11)] The squirrel needs the bear.[(triple12)] @1: The cow needs the cow.[(((triple4) -> rule2))] The rabbit chases the squirrel.[(((triple8) -> rule7))]