The bear chases the lion. The bear eats the squirrel. The bear eats the tiger. The bear is rough. The lion does not chase the tiger. The lion is blue. The lion is red. The squirrel chases the bear. The squirrel does not chase the lion. The squirrel does not chase the tiger. The squirrel eats the bear. The squirrel is not blue. The squirrel is red. The squirrel is rough. The tiger chases the squirrel. The tiger is blue. If something likes the squirrel and it does not chase the lion then the lion is rough. If something is blue and it chases the squirrel then the squirrel is red. If something eats the squirrel and it likes the bear then the bear eats the lion.
The tiger likes the tiger.
@0: The bear chases the lion.[(triple1)] The bear eats the squirrel.[(triple2)] The bear eats the tiger.[(triple3)] The bear is rough.[(triple4)] The lion does not chase the tiger.[(triple5)] The lion is blue.[(triple6)] The lion is red.[(triple7)] The squirrel chases the bear.[(triple8)] The squirrel does not chase the lion.[(triple9)] The squirrel does not chase the tiger.[(triple10)] The squirrel eats the bear.[(triple11)] The squirrel is not blue.[(triple12)] The squirrel is red.[(triple13 OR ((triple16 triple15) -> rule2))] The squirrel is rough.[(triple14)] The tiger chases the squirrel.[(triple15)] The tiger is blue.[(triple16)]