The mouse visits the tiger. The tiger is red. The tiger likes the mouse. If someone likes the mouse then they visit the tiger. If the tiger visits the mouse and the mouse needs the tiger then the mouse likes the tiger.
The mouse does not like the tiger.
@0: The mouse visits the tiger.[(triple1)] The tiger is red.[(triple2)] The tiger likes the mouse.[(triple3)] @1: The tiger visits the tiger.[(((triple3) -> rule1))]