The bear chases the squirrel. The bear is green. The bear is rough. The bear does not like the mouse. The bear does not like the squirrel. The bear needs the mouse. The mouse does not chase the bear. The mouse chases the squirrel. The squirrel chases the bear. The squirrel is round. If someone is rough and kind then they chase the mouse. If someone likes the mouse then the mouse chases the squirrel. If someone needs the squirrel then the squirrel does not like the mouse. If someone needs the mouse and the mouse is nice then the mouse is round. If someone chases the mouse and they do not chase the squirrel then they like the bear. If someone needs the mouse then the mouse likes the squirrel. If someone chases the squirrel and the squirrel does not chase the mouse then the mouse likes the squirrel. If someone likes the squirrel then the squirrel chases the bear.
The bear does not chase the mouse.
@0: The bear chases the squirrel.[(triple1)] The bear does not like the mouse.[(triple4)] The bear does not like the squirrel.[(triple5)] The bear is green.[(triple2)] The bear is rough.[(triple3)] The bear needs the mouse.[(triple6)] The mouse chases the squirrel.[(triple8)] The mouse does not chase the bear.[(triple7)] The squirrel chases the bear.[(triple9 OR ((((triple6) -> rule6)) -> rule8))] The squirrel is round.[(triple10)] @1: The mouse likes the squirrel.[(((triple6) -> rule6))]