The bear chases the tiger. The bear is round. The bear needs the squirrel. The bear needs the tiger. The squirrel chases the bear. The squirrel is kind. The squirrel is nice. The squirrel likes the bear. The squirrel likes the tiger. The squirrel needs the tiger. The tiger likes the squirrel. The tiger needs the squirrel. If someone needs the bear and the bear likes the tiger then the bear needs the tiger. If someone needs the tiger and they are round then the tiger needs the squirrel.
The squirrel chases the bear.
@0: The bear chases the tiger.[(triple1)] The bear is round.[(triple2)] The bear needs the squirrel.[(triple3)] The bear needs the tiger.[(triple4)] The squirrel chases the bear.[(triple5)] The squirrel is kind.[(triple6)] The squirrel is nice.[(triple7)] The squirrel likes the bear.[(triple8)] The squirrel likes the tiger.[(triple9)] The squirrel needs the tiger.[(triple10)] The tiger likes the squirrel.[(triple11)] The tiger needs the squirrel.[(triple12 OR ((triple4 triple2) -> rule2))]