The dog is red. The mouse visits the squirrel. The squirrel needs the dog. The tiger is rough. If something visits the squirrel then it needs the mouse.
The tiger is rough.
@0: The dog is red.[(triple1)] The mouse visits the squirrel.[(triple2)] The squirrel needs the dog.[(triple3)] The tiger is rough.[(triple4)] @1: The mouse needs the mouse.[(((triple2) -> rule1))]