The bear is young. The dog is big. The lion likes the bear. If someone is young then they need the dog. If someone likes the bear then they chase the bear. If someone needs the dog and the dog is big then the dog is young.
The lion needs the dog.
@0: The bear is young.[(triple1)] The dog is big.[(triple2)] The lion likes the bear.[(triple3)] @1: The bear needs the dog.[(((triple1) -> rule1))] The lion chases the bear.[(((triple3) -> rule2))] @2: The dog is young.[(((((triple1) -> rule1) triple2) -> rule3))] @3: The dog needs the dog.[(((((((triple1) -> rule1) triple2) -> rule3)) -> rule1))]