The bear does not chase the mouse. The bear chases the squirrel. The bear eats the squirrel. The bear is rough. The mouse visits the bear. The mouse visits the squirrel. The squirrel eats the bear. The squirrel is big. The squirrel does not visit the bear. The squirrel visits the mouse. If something eats the bear then it does not chase the mouse.
The squirrel is not big.
@0: The bear chases the squirrel.[(triple2)] The bear does not chase the mouse.[(triple1)] The bear eats the squirrel.[(triple3)] The bear is rough.[(triple4)] The mouse visits the bear.[(triple5)] The mouse visits the squirrel.[(triple6)] The squirrel does not visit the bear.[(triple9)] The squirrel eats the bear.[(triple7)] The squirrel is big.[(triple8)] The squirrel visits the mouse.[(triple10)] @1: The squirrel does not chase the mouse.[(((triple7) -> rule1))]