The mouse chases the squirrel. The squirrel chases the mouse. The squirrel does not eat the mouse. If the mouse chases the squirrel and the mouse eats the squirrel then the squirrel visits the mouse. If the mouse does not eat the squirrel and the mouse is not nice then the squirrel visits the mouse. If someone is green and they visit the mouse then they do not chase the squirrel. If someone chases the squirrel then the squirrel does not eat the mouse. If the squirrel is kind then the squirrel eats the mouse. If someone is kind then they do not chase the mouse.
The mouse does not chase the squirrel.
@0: The mouse chases the squirrel.[(triple1)] The squirrel chases the mouse.[(triple2)] The squirrel does not eat the mouse.[(triple3 OR ((triple1) -> rule4))]