The bear eats the tiger. The bear is blue. The bear is nice. The bear is red. The bear is rough. The bear is young. The bear likes the tiger. The bear needs the tiger. The tiger eats the bear. The tiger is red. The tiger likes the bear. The tiger does not need the bear. If the bear likes the tiger then the tiger eats the bear. If someone likes the tiger and they eat the bear then the tiger likes the bear. If the tiger likes the bear and the tiger is young then the bear eats the tiger. If someone is nice and they eat the bear then the bear is rough. If someone needs the bear then the bear is not young. If someone likes the tiger then they do not need the bear. If the bear does not like the tiger and the tiger does not need the bear then the bear needs the tiger. If the bear likes the tiger then the bear needs the tiger.
The bear eats the tiger.
@0: The bear eats the tiger.[(triple1)] The bear is blue.[(triple2)] The bear is nice.[(triple3)] The bear is red.[(triple4)] The bear is rough.[(triple5)] The bear is young.[(triple6)] The bear likes the tiger.[(triple7)] The bear needs the tiger.[(triple8 OR ((triple7) -> rule8))] The tiger does not need the bear.[(triple12)] The tiger eats the bear.[(triple9 OR ((triple7) -> rule1))] The tiger is red.[(triple10)] The tiger likes the bear.[(triple11)] @1: The bear does not need the bear.[(((triple7) -> rule6))]