The mouse is rough. The squirrel likes the mouse. If something chases the squirrel and the squirrel needs the mouse then the mouse is green. If something is rough then it needs the squirrel. If the mouse needs the squirrel then the squirrel is rough.
The squirrel does not need the mouse.
@0: The mouse is rough.[(triple1)] The squirrel likes the mouse.[(triple2)] @1: The mouse needs the squirrel.[(((triple1) -> rule2))] @2: The squirrel is rough.[(((((triple1) -> rule2)) -> rule3))] @3: The squirrel needs the squirrel.[(((((((triple1) -> rule2)) -> rule3)) -> rule2))]