The bear is not young. The cow needs the bear. The dog needs the cow. The tiger needs the bear. If the bear is not young then the bear eats the tiger.
The tiger does not like the dog.
@0: The bear is not young.[(triple1)] The cow needs the bear.[(triple2)] The dog needs the cow.[(triple3)] The tiger needs the bear.[(triple4)] @1: The bear eats the tiger.[(((triple1) -> rule1))]