The mouse does not like the rabbit. The rabbit chases the mouse. The tiger likes the rabbit. If something chases the mouse then the mouse chases the rabbit. If something chases the mouse then the mouse eats the tiger. If something chases the mouse and it likes the mouse then the mouse likes the rabbit. All young things are cold. If something chases the mouse and it chases the tiger then the tiger is kind. If something chases the rabbit then the rabbit does not eat the mouse.
The mouse likes the mouse.
@0: The mouse does not like the rabbit.[(triple1)] The rabbit chases the mouse.[(triple2)] The tiger likes the rabbit.[(triple3)] @1: The mouse chases the rabbit.[(((triple2) -> rule1))] The mouse eats the tiger.[(((triple2) -> rule2))] @2: The rabbit does not eat the mouse.[(((((triple2) -> rule1)) -> rule6))]