The mouse visits the tiger. The tiger needs the mouse. If someone visits the mouse and they are cold then the mouse is cold. If the mouse needs the tiger then the tiger is red. If someone needs the mouse then the mouse is cold. If someone needs the mouse and they visit the mouse then they eat the mouse. If someone is rough then they are red. If someone needs the mouse and the mouse is cold then the mouse eats the tiger.
The tiger eats the mouse.
@0: The mouse visits the tiger.[(triple1)] The tiger needs the mouse.[(triple2)] @1: The mouse is cold.[(((triple2) -> rule3))] @2: The mouse eats the tiger.[(((triple2 ((triple2) -> rule3)) -> rule6))]