The bear chases the cow. The bear is not blue. The bear is rough. The bear is round. The bear needs the cow. The bear does not need the squirrel. The bear visits the mouse. The cow is blue. The cow needs the squirrel. The mouse is red. The squirrel does not chase the bear. The squirrel is kind. The squirrel is red. The squirrel does not need the cow. The squirrel needs the mouse. The squirrel visits the cow. If someone chases the mouse and they do not chase the bear then the bear needs the squirrel. If the cow does not chase the mouse and the mouse does not need the cow then the cow needs the bear. If someone visits the mouse and they are blue then the mouse visits the bear. If the mouse visits the cow then the cow does not chase the squirrel. Kind people are not blue. If someone is rough and they do not chase the cow then they do not visit the cow. If someone is rough then they are not kind. If someone is red then they visit the bear.
The bear visits the bear.
@0: The bear chases the cow.[(triple1)] The bear does not need the squirrel.[(triple6)] The bear is not blue.[(triple2)] The bear is rough.[(triple3)] The bear is round.[(triple4)] The bear needs the cow.[(triple5)] The bear visits the mouse.[(triple7)] The cow is blue.[(triple8)] The cow needs the squirrel.[(triple9)] The mouse is red.[(triple10)] The squirrel does not chase the bear.[(triple11)] The squirrel does not need the cow.[(triple14)] The squirrel is kind.[(triple12)] The squirrel is red.[(triple13)] The squirrel needs the mouse.[(triple15)] The squirrel visits the cow.[(triple16)] @1: The bear is not kind.[(((triple3) -> rule7))] The mouse visits the bear.[(((triple10) -> rule8))] The squirrel is not blue.[(((triple12) -> rule5))] The squirrel visits the bear.[(((triple13) -> rule8))]