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