The bear is kind. The rabbit chases the bear. The rabbit is green. The rabbit is nice. The rabbit is young. The rabbit likes the bear. The rabbit needs the bear. The squirrel is kind. The squirrel likes the bear. The squirrel needs the bear. If something likes the rabbit and it chases the rabbit then it needs the rabbit. If something chases the bear and it chases the squirrel then the squirrel is red. If something chases the rabbit and the rabbit needs the bear then the bear likes the rabbit. If something needs the squirrel then the squirrel chases the rabbit. If something needs the bear then it chases the rabbit. If the squirrel is nice and the squirrel needs the bear then the squirrel chases the bear. If something likes the bear and it likes the rabbit then the rabbit needs the squirrel. If something chases the rabbit and the rabbit chases the bear then it likes the squirrel.
The squirrel does not chase the bear.
@0: The bear is kind.[(triple1)] The rabbit chases the bear.[(triple2)] The rabbit is green.[(triple3)] The rabbit is nice.[(triple4)] The rabbit is young.[(triple5)] The rabbit likes the bear.[(triple6)] The rabbit needs the bear.[(triple7)] The squirrel is kind.[(triple8)] The squirrel likes the bear.[(triple9)] The squirrel needs the bear.[(triple10)] @1: The rabbit chases the rabbit.[(((triple7) -> rule5))] The squirrel chases the rabbit.[(((triple10) -> rule5))] @2: The bear likes the rabbit.[(((((triple10) -> rule5) triple7) -> rule3) OR ((((triple7) -> rule5) triple7) -> rule3))] The rabbit likes the squirrel.[(((((triple7) -> rule5) triple2) -> rule8))] The squirrel likes the squirrel.[(((((triple10) -> rule5) triple2) -> rule8))]