The bear chases the tiger. The bear eats the tiger. The bear is not big. The bear is blue. The bear is rough. The bear needs the tiger. The tiger does not chase the bear. The tiger eats the bear. The tiger is blue. The tiger is nice. The tiger is rough. The tiger does not need the bear. If something chases the tiger then it needs the bear. If something needs the tiger and it does not chase the bear then it needs the bear. If something is rough and it needs the bear then the bear needs the tiger. If the bear eats the tiger then the bear needs the tiger. If the bear eats the tiger then the bear is young. If something chases the bear and it eats the tiger then it eats the bear.
The bear does not eat the bear.
@0: The bear chases the tiger.[(triple1)] The bear eats the tiger.[(triple2)] The bear is blue.[(triple4)] The bear is not big.[(triple3)] The bear is rough.[(triple5)] The bear needs the tiger.[(triple6 OR ((triple2) -> rule4) OR ((triple5 ((triple1) -> rule1)) -> rule3))] The tiger does not chase the bear.[(triple7)] The tiger does not need the bear.[(triple12)] The tiger eats the bear.[(triple8)] The tiger is blue.[(triple9)] The tiger is nice.[(triple10)] The tiger is rough.[(triple11)] @1: The bear is young.[(((triple2) -> rule5))] The bear needs the bear.[(((triple1) -> rule1))]