The mouse eats the tiger. The mouse is blue. The mouse is nice. The mouse visits the tiger. The tiger eats the mouse. The tiger is kind. The tiger needs the mouse. If someone is kind then they visit the mouse.
The mouse visits the tiger.
@0: The mouse eats the tiger.[(triple1)] The mouse is blue.[(triple2)] The mouse is nice.[(triple3)] The mouse visits the tiger.[(triple4)] The tiger eats the mouse.[(triple5)] The tiger is kind.[(triple6)] The tiger needs the mouse.[(triple7)] @1: The tiger visits the mouse.[(((triple6) -> rule1))]