The bear is not big. The bear is rough. The bear likes the squirrel. The bear needs the mouse. The bear needs the squirrel. The mouse chases the squirrel. The squirrel chases the bear. The squirrel is green. The squirrel is kind. The squirrel is not rough. The squirrel likes the bear. The squirrel does not like the mouse. If something needs the squirrel then the squirrel is young. If something is kind and it needs the bear then it likes the bear. If the squirrel does not chase the bear then the bear needs the squirrel. If something chases the bear then it needs the squirrel. If something is green and it needs the mouse then it does not chase the mouse. If something chases the bear then the bear chases the squirrel. If something needs the squirrel and it is young then the squirrel needs the mouse. If something chases the mouse and it is not big then the mouse is green.
The mouse does not need the mouse.
@0: The bear is not big.[(triple1)] The bear is rough.[(triple2)] The bear likes the squirrel.[(triple3)] The bear needs the mouse.[(triple4)] The bear needs the squirrel.[(triple5)] The mouse chases the squirrel.[(triple6)] The squirrel chases the bear.[(triple7)] The squirrel does not like the mouse.[(triple12)] The squirrel is green.[(triple8)] The squirrel is kind.[(triple9)] The squirrel is not rough.[(triple10)] The squirrel likes the bear.[(triple11)] @1: The bear chases the squirrel.[(((triple7) -> rule6))] The squirrel is young.[(((triple5) -> rule1) OR ((((triple7) -> rule4)) -> rule1))] The squirrel needs the squirrel.[(((triple7) -> rule4))] @2: The squirrel needs the mouse.[(((((triple7) -> rule4) ((triple5) -> rule1)) -> rule7) OR ((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule1)) -> rule7))] @3: The squirrel does not chase the mouse.[(((triple8 ((((triple7) -> rule4) ((triple5) -> rule1)) -> rule7)) -> rule5) OR ((triple8 ((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule1)) -> rule7)) -> rule5))]