The bear eats the tiger. The bear sees the tiger. The tiger is not young. If something sees the tiger then the tiger is blue. If the tiger is not rough then the tiger does not see the bear. If something needs the bear and the bear is not green then the bear is not young. If something is rough and it needs the tiger then it does not need the bear. If something eats the tiger then the tiger does not need the bear. If something needs the tiger and it eats the tiger then it is not young. If something needs the tiger then it eats the bear. If the bear is young then the bear does not eat the tiger.
The bear eats the tiger.
@0: The bear eats the tiger.[(triple1)] The bear sees the tiger.[(triple2)] The tiger is not young.[(triple3)] @1: The tiger does not need the bear.[(((triple1) -> rule5))] The tiger is blue.[(((triple2) -> rule1))]