The bear chases the squirrel. The bear chases the tiger. The bear is cold. The bear is kind. The bear is nice. The bear likes the squirrel. The bear needs the squirrel. The squirrel chases the tiger. The squirrel is nice. The squirrel needs the tiger. The tiger chases the bear. The tiger is cold. The tiger is nice. The tiger likes the bear. The tiger needs the squirrel. If something likes the squirrel and it needs the bear then the bear needs the tiger. If something chases the squirrel then it chases the tiger. If the tiger is kind and the tiger needs the bear then the tiger chases the squirrel. If something needs the tiger then it is kind. If something chases the squirrel and it is young then it needs the bear. If something needs the bear then it likes the tiger. If something chases the bear and it is cold then it needs the bear. If something is green then it chases the bear.
The bear needs the bear.
@0: The bear chases the squirrel.[(triple1)] The bear chases the tiger.[(triple2 OR ((triple1) -> rule2))] The bear is cold.[(triple3)] The bear is kind.[(triple4)] The bear is nice.[(triple5)] The bear likes the squirrel.[(triple6)] The bear needs the squirrel.[(triple7)] The squirrel chases the tiger.[(triple8)] The squirrel is nice.[(triple9)] The squirrel needs the tiger.[(triple10)] The tiger chases the bear.[(triple11)] The tiger is cold.[(triple12)] The tiger is nice.[(triple13)] The tiger likes the bear.[(triple14)] The tiger needs the squirrel.[(triple15)] @1: The squirrel is kind.[(((triple10) -> rule4))] The tiger needs the bear.[(((triple11 triple12) -> rule7))] @2: The tiger likes the tiger.[(((((triple11 triple12) -> rule7)) -> rule6))]