The lion is not big. The mouse chases the tiger. The tiger chases the mouse. If the tiger chases the mouse then the tiger eats the lion. If the tiger needs the lion and the lion is not nice then the tiger chases the lion.
The tiger does not chase the lion.
@0: The lion is not big.[(triple1)] The mouse chases the tiger.[(triple2)] The tiger chases the mouse.[(triple3)] @1: The tiger eats the lion.[(((triple3) -> rule1))]