The bear chases the mouse. The bear chases the squirrel. The bear does not eat the mouse. The bear is not green. The bear is round. The bear needs the squirrel. The mouse chases the bear. The mouse chases the squirrel. The mouse does not eat the bear. The mouse is round. The mouse needs the squirrel. The squirrel does not chase the mouse. The squirrel eats the bear. The squirrel eats the mouse. The squirrel is not red. The squirrel needs the mouse. If something eats the squirrel then it chases the bear. If something is blue then it does not need the mouse. If something chases the bear then it is blue. If the mouse does not eat the squirrel then the squirrel is nice. If something is green then it chases the mouse. If something chases the squirrel then the squirrel does not chase the mouse. If something needs the mouse and it eats the mouse then the mouse needs the bear. If something is blue and it needs the mouse then the mouse is blue.
The squirrel is not blue.
@0: The bear chases the mouse.[(triple1)] The bear chases the squirrel.[(triple2)] The bear does not eat the mouse.[(triple3)] The bear is not green.[(triple4)] The bear is round.[(triple5)] The bear needs the squirrel.[(triple6)] The mouse chases the bear.[(triple7)] The mouse chases the squirrel.[(triple8)] The mouse does not eat the bear.[(triple9)] The mouse is round.[(triple10)] The mouse needs the squirrel.[(triple11)] The squirrel does not chase the mouse.[(triple12 OR ((triple2) -> rule6) OR ((triple8) -> rule6))] The squirrel eats the bear.[(triple13)] The squirrel eats the mouse.[(triple14)] The squirrel is not red.[(triple15)] The squirrel needs the mouse.[(triple16)] @1: The mouse is blue.[(((triple7) -> rule3))] The mouse needs the bear.[(((triple16 triple14) -> rule7))] @2: The mouse does not need the mouse.[(((((triple7) -> rule3)) -> rule2))]