The bear needs the lion. The lion eats the bear. The tiger chases the lion. If the lion is rough and the tiger does not chase the lion then the lion is young. If something is blue and it does not eat the lion then it needs the tiger. If something eats the bear then it eats the tiger. If something is blue and not green then it is young. If something is young and not round then it does not chase the tiger. If something eats the tiger then the tiger eats the bear.
The lion does not chase the tiger.
@0: The bear needs the lion.[(triple1)] The lion eats the bear.[(triple2)] The tiger chases the lion.[(triple3)] @1: The lion eats the tiger.[(((triple2) -> rule3))] @2: The tiger eats the bear.[(((((triple2) -> rule3)) -> rule6))] @3: The tiger eats the tiger.[(((((((triple2) -> rule3)) -> rule6)) -> rule3))]