The bear eats the tiger. The bear is blue. The bear needs the tiger. The bear visits the tiger. The rabbit eats the tiger. The rabbit is green. The rabbit visits the tiger. The tiger is green. The tiger is red. The tiger is young. If something visits the rabbit then the rabbit visits the tiger. If something needs the bear and it visits the bear then the bear needs the rabbit. If something visits the tiger then the tiger needs the rabbit. If something visits the tiger and the tiger needs the rabbit then the tiger eats the bear. If something is young and it eats the tiger then the tiger is big. If something visits the rabbit and it visits the bear then the bear eats the tiger.
The tiger needs the rabbit.
@0: The bear eats the tiger.[(triple1)] The bear is blue.[(triple2)] The bear needs the tiger.[(triple3)] The bear visits the tiger.[(triple4)] The rabbit eats the tiger.[(triple5)] The rabbit is green.[(triple6)] The rabbit visits the tiger.[(triple7)] The tiger is green.[(triple8)] The tiger is red.[(triple9)] The tiger is young.[(triple10)] @1: The tiger needs the rabbit.[(((triple4) -> rule3) OR ((triple7) -> rule3))] @2: The tiger eats the bear.[(((triple4 ((triple4) -> rule3)) -> rule4) OR ((triple4 ((triple7) -> rule3)) -> rule4) OR ((triple7 ((triple4) -> rule3)) -> rule4) OR ((triple7 ((triple7) -> rule3)) -> rule4))]