The mouse does not chase the tiger. The tiger chases the mouse. The tiger is kind. If someone eats the mouse then they like the mouse. If someone chases the mouse then they eat the mouse.
The tiger likes the mouse.
@0: The mouse does not chase the tiger.[(triple1)] The tiger chases the mouse.[(triple2)] The tiger is kind.[(triple3)] @1: The tiger eats the mouse.[(((triple2) -> rule2))] @2: The tiger likes the mouse.[(((((triple2) -> rule2)) -> rule1))]