The bear chases the tiger. The bear needs the rabbit. The bear needs the tiger. The rabbit chases the tiger. The rabbit is red. The rabbit likes the bear. The rabbit needs the bear. The tiger chases the bear. The tiger chases the rabbit. The tiger is green. The tiger is young. The tiger likes the bear. The tiger likes the rabbit. The tiger needs the bear. The tiger needs the rabbit. If someone needs the tiger then they need the rabbit. If someone needs the rabbit and they chase the tiger then they chase the bear. If the rabbit chases the tiger then the rabbit needs the tiger.
The rabbit needs the tiger.
@0: The bear chases the tiger.[(triple1)] The bear needs the rabbit.[(triple2 OR ((triple3) -> rule1))] The bear needs the tiger.[(triple3)] The rabbit chases the tiger.[(triple4)] The rabbit is red.[(triple5)] The rabbit likes the bear.[(triple6)] The rabbit needs the bear.[(triple7)] The tiger chases the bear.[(triple8)] The tiger chases the rabbit.[(triple9)] The tiger is green.[(triple10)] The tiger is young.[(triple11)] The tiger likes the bear.[(triple12)] The tiger likes the rabbit.[(triple13)] The tiger needs the bear.[(triple14)] The tiger needs the rabbit.[(triple15)] @1: The bear chases the bear.[(((triple2 triple1) -> rule2) OR ((((triple3) -> rule1) triple1) -> rule2))] The rabbit needs the tiger.[(((triple4) -> rule3))] @2: The rabbit needs the rabbit.[(((((triple4) -> rule3)) -> rule1))] @3: The rabbit chases the bear.[(((((((triple4) -> rule3)) -> rule1) triple4) -> rule2))]