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