The mouse visits the squirrel. The squirrel eats the mouse. If someone is nice then they are rough. If someone is green and not red then they do not visit the mouse. If someone eats the squirrel then they do not visit the mouse. If someone is rough then they eat the squirrel. If someone is nice and they eat the mouse then the mouse is nice. If someone eats the mouse then the mouse is rough.
The squirrel is cold.
@0: The mouse visits the squirrel.[(triple1)] The squirrel eats the mouse.[(triple2)] @1: The mouse is rough.[(((triple2) -> rule6))] @2: The mouse eats the squirrel.[(((((triple2) -> rule6)) -> rule4))] @3: The mouse does not visit the mouse.[(((((((triple2) -> rule6)) -> rule4)) -> rule3))]