The mouse is big. The squirrel chases the mouse. If the mouse is big then the mouse needs the squirrel. If something needs the squirrel and the squirrel chases the mouse then it chases the mouse. If something needs the mouse and the mouse chases the squirrel then the squirrel chases the mouse.
The mouse is not big.
@0: The mouse is big.[(triple1)] The squirrel chases the mouse.[(triple2)] @1: The mouse needs the squirrel.[(((triple1) -> rule1))] @2: The mouse chases the mouse.[(((((triple1) -> rule1) triple2) -> rule2))]