The mouse chases the squirrel. The squirrel chases the mouse. If something needs the squirrel and it is young then the squirrel does not need the mouse. If something visits the squirrel then the squirrel chases the mouse. If something visits the mouse and the mouse is young then the mouse is round. If the squirrel chases the mouse and the mouse chases the squirrel then the squirrel visits the mouse. If something is young and it does not chase the mouse then it chases the squirrel. If the squirrel does not need the mouse then the mouse chases the squirrel.
The squirrel is round.
@0: The mouse chases the squirrel.[(triple1)] The squirrel chases the mouse.[(triple2)] @1: The squirrel visits the mouse.[(((triple2 triple1) -> rule4))]