The cat chases the mouse. The cat visits the tiger. The mouse is blue. The mouse needs the cat. The mouse visits the cat. The tiger is rough. The tiger needs the mouse. If something is rough then it visits the cat. If something visits the mouse and the mouse is big then it chases the cat. If something visits the mouse and the mouse needs the tiger then the tiger chases the cat.
The mouse does not chase the cat.
@0: The cat chases the mouse.[(triple1)] The cat visits the tiger.[(triple2)] The mouse is blue.[(triple3)] The mouse needs the cat.[(triple4)] The mouse visits the cat.[(triple5)] The tiger is rough.[(triple6)] The tiger needs the mouse.[(triple7)] @1: The tiger visits the cat.[(((triple6) -> rule1))]