The bear eats the rabbit. The bear is green. The bear likes the lion. The bear likes the tiger. The bear needs the rabbit. The bear needs the tiger. The lion is rough. The lion is young. The lion likes the bear. The lion likes the tiger. The lion needs the bear. The lion needs the tiger. The rabbit eats the tiger. The tiger eats the lion. The tiger is kind. The tiger likes the rabbit. If something is rough and it likes the tiger then the tiger is kind. If something needs the bear then the bear eats the rabbit. If something likes the lion then the lion needs the rabbit. If something is rough and it eats the bear then it is kind. If something needs the rabbit and the rabbit needs the lion then the rabbit eats the bear. If something needs the bear then it eats the bear. If something needs the lion then the lion is kind. If the bear needs the lion and the lion is young then the bear likes the rabbit.
The tiger needs the rabbit.
@0: The bear eats the rabbit.[(triple1 OR ((triple11) -> rule2))] The bear is green.[(triple2)] The bear likes the lion.[(triple3)] The bear likes the tiger.[(triple4)] The bear needs the rabbit.[(triple5)] The bear needs the tiger.[(triple6)] The lion is rough.[(triple7)] The lion is young.[(triple8)] The lion likes the bear.[(triple9)] The lion likes the tiger.[(triple10)] The lion needs the bear.[(triple11)] The lion needs the tiger.[(triple12)] The rabbit eats the tiger.[(triple13)] The tiger eats the lion.[(triple14)] The tiger is kind.[(triple15 OR ((triple7 triple10) -> rule1))] The tiger likes the rabbit.[(triple16)] @1: The lion eats the bear.[(((triple11) -> rule6))] The lion needs the rabbit.[(((triple3) -> rule3))] @2: The lion is kind.[(((triple7 ((triple11) -> rule6)) -> rule4))]