The lion chases the mouse. The mouse needs the tiger. The tiger likes the mouse. If someone needs the mouse and the mouse needs the lion then they are big. If the mouse needs the tiger then the tiger is kind. If someone likes the mouse and the mouse needs the lion then the lion likes the tiger.
The tiger is kind.
@0: The lion chases the mouse.[(triple1)] The mouse needs the tiger.[(triple2)] The tiger likes the mouse.[(triple3)] @1: The tiger is kind.[(((triple2) -> rule2))]