The cat eats the lion. The lion is rough. The rabbit is young. If something needs the rabbit then it chases the lion. If something eats the rabbit and the rabbit chases the lion then it is cold. If something needs the lion then the lion needs the rabbit. If something is cold and it eats the lion then the lion is big. If something is rough then it needs the lion. If something is rough and it needs the cat then the cat eats the rabbit.
The lion chases the lion.
@0: The cat eats the lion.[(triple1)] The lion is rough.[(triple2)] The rabbit is young.[(triple3)] @1: The lion needs the lion.[(((triple2) -> rule5))] @2: The lion needs the rabbit.[(((((triple2) -> rule5)) -> rule3))] @3: The lion chases the lion.[(((((((triple2) -> rule5)) -> rule3)) -> rule1))]