The mouse is young. The rabbit chases the mouse. The squirrel sees the rabbit. If something sees the rabbit then the rabbit needs the squirrel. If the rabbit chases the squirrel then the rabbit needs the mouse. If something sees the squirrel and the squirrel is round then it needs the rabbit. If the rabbit is round then the rabbit chases the mouse. If something needs the mouse then it is rough. If something needs the squirrel then the squirrel needs the mouse.
The squirrel needs the mouse.
@0: The mouse is young.[(triple1)] The rabbit chases the mouse.[(triple2)] The squirrel sees the rabbit.[(triple3)] @1: The rabbit needs the squirrel.[(((triple3) -> rule1))] @2: The squirrel needs the mouse.[(((((triple3) -> rule1)) -> rule6))] @3: The squirrel is rough.[(((((((triple3) -> rule1)) -> rule6)) -> rule5))]