The mouse is red. The squirrel likes the mouse. If the mouse eats the squirrel then the mouse likes the squirrel. If something is green and it does not like the mouse then it does not like the squirrel. If the squirrel is nice and the squirrel is not green then the squirrel is red. If the mouse does not eat the squirrel then the squirrel eats the mouse. If something likes the squirrel then it chases the squirrel. If something likes the mouse then the mouse chases the squirrel.
The squirrel chases the mouse.
@0: The mouse is red.[(triple1)] The squirrel likes the mouse.[(triple2)] @1: The mouse chases the squirrel.[(((triple2) -> rule6))]