The bear sees the mouse. The mouse is nice. The squirrel eats the mouse. If something chases the squirrel then the squirrel is nice. If something eats the bear then the bear is cold. If something sees the mouse then the mouse is blue. If something sees the mouse and the mouse eats the squirrel then the squirrel chases the mouse. If something is cold and it eats the bear then the bear sees the mouse. If something sees the squirrel then it chases the mouse.
The mouse is not nice.
@0: The bear sees the mouse.[(triple1)] The mouse is nice.[(triple2)] The squirrel eats the mouse.[(triple3)] @1: The mouse is blue.[(((triple1) -> rule3))]