The bear chases the squirrel. The bear chases the tiger. The bear visits the mouse. The mouse is kind. The squirrel is nice. The squirrel needs the tiger. The tiger chases the mouse. If something is rough and it needs the mouse then it chases the squirrel. If something is round then it chases the tiger. If the tiger needs the mouse and the tiger visits the mouse then the mouse is green. If something is nice then it chases the bear. If something needs the squirrel then it is green. If something chases the squirrel then the squirrel visits the mouse.
The squirrel is not nice.
@0: The bear chases the squirrel.[(triple1)] The bear chases the tiger.[(triple2)] The bear visits the mouse.[(triple3)] The mouse is kind.[(triple4)] The squirrel is nice.[(triple5)] The squirrel needs the tiger.[(triple6)] The tiger chases the mouse.[(triple7)] @1: The squirrel chases the bear.[(((triple5) -> rule4))] The squirrel visits the mouse.[(((triple1) -> rule6))]