The cat eats the mouse. The cat visits the mouse. The cat visits the tiger. The mouse eats the tiger. The mouse is kind. The tiger is cold. The tiger is kind. If someone visits the tiger then they chase the mouse.
The mouse eats the mouse.
@0: The cat eats the mouse.[(triple1)] The cat visits the mouse.[(triple2)] The cat visits the tiger.[(triple3)] The mouse eats the tiger.[(triple4)] The mouse is kind.[(triple5)] The tiger is cold.[(triple6)] The tiger is kind.[(triple7)] @1: The cat chases the mouse.[(((triple3) -> rule1))]