The bear eats the lion. The bear eats the tiger. The bear is rough. The bear likes the lion. The bear likes the tiger. The bear needs the lion. The bear needs the tiger. The lion eats the bear. The lion eats the tiger. The lion likes the tiger. The tiger eats the bear. The tiger eats the lion. The tiger is big. The tiger is rough. The tiger needs the bear. If the tiger needs the bear and the bear needs the lion then the tiger likes the lion. If the lion eats the tiger and the lion needs the tiger then the tiger needs the lion.
The tiger does not need the lion.
@0: The bear eats the lion.[(triple1)] The bear eats the tiger.[(triple2)] The bear is rough.[(triple3)] The bear likes the lion.[(triple4)] The bear likes the tiger.[(triple5)] The bear needs the lion.[(triple6)] The bear needs the tiger.[(triple7)] The lion eats the bear.[(triple8)] The lion eats the tiger.[(triple9)] The lion likes the tiger.[(triple10)] The tiger eats the bear.[(triple11)] The tiger eats the lion.[(triple12)] The tiger is big.[(triple13)] The tiger is rough.[(triple14)] The tiger needs the bear.[(triple15)] @1: The tiger likes the lion.[(((triple15 triple6) -> rule1))]