The bear chases the squirrel. The bear chases the tiger. The bear eats the squirrel. The bear eats the tiger. The bear is kind. The bear needs the tiger. The squirrel does not chase the bear. The squirrel is big. The tiger does not chase the squirrel. The tiger eats the bear. The tiger eats the squirrel. The tiger is kind. The tiger is nice. The tiger is rough. The tiger is not young. If the bear is kind and the bear is young then the bear chases the tiger. If something eats the squirrel then the squirrel is not kind. If the squirrel does not need the tiger then the tiger eats the squirrel.
The squirrel is rough.
@0: The bear chases the squirrel.[(triple1)] The bear chases the tiger.[(triple2)] The bear eats the squirrel.[(triple3)] The bear eats the tiger.[(triple4)] The bear is kind.[(triple5)] The bear needs the tiger.[(triple6)] The squirrel does not chase the bear.[(triple7)] The squirrel is big.[(triple8)] The tiger does not chase the squirrel.[(triple9)] The tiger eats the bear.[(triple10)] The tiger eats the squirrel.[(triple11)] The tiger is kind.[(triple12)] The tiger is nice.[(triple13)] The tiger is not young.[(triple15)] The tiger is rough.[(triple14)] @1: The squirrel is not kind.[(((triple11) -> rule2) OR ((triple3) -> rule2))]