The bear visits the squirrel. The mouse chases the squirrel. The mouse is blue. The mouse does not see the squirrel. The mouse visits the squirrel. The squirrel chases the bear. The squirrel does not see the mouse. If something is blue then it chases the bear.
The mouse sees the squirrel.
@0: The bear visits the squirrel.[(triple1)] The mouse chases the squirrel.[(triple2)] The mouse does not see the squirrel.[(triple4)] The mouse is blue.[(triple3)] The mouse visits the squirrel.[(triple5)] The squirrel chases the bear.[(triple6)] The squirrel does not see the mouse.[(triple7)] @1: The mouse chases the bear.[(((triple3) -> rule1))]