The bear visits the mouse. The dog is cold. The dog needs the bear. The dog visits the mouse. The dog visits the squirrel. The mouse eats the bear. The mouse is blue. The mouse needs the bear. The mouse visits the dog. The squirrel eats the dog. The squirrel eats the mouse. The squirrel is blue. The squirrel is cold. The squirrel is green. The squirrel is rough. The squirrel needs the mouse. If something visits the dog and it eats the dog then the dog is rough. If something eats the squirrel and the squirrel eats the dog then it visits the dog. If something needs the mouse then it eats the squirrel. If something visits the mouse and it is blue then the mouse needs the dog. If something needs the bear and the bear eats the dog then the dog eats the bear. If something is blue then it eats the bear.
The squirrel does not need the mouse.
@0: The bear visits the mouse.[(triple1)] The dog is cold.[(triple2)] The dog needs the bear.[(triple3)] The dog visits the mouse.[(triple4)] The dog visits the squirrel.[(triple5)] The mouse eats the bear.[(triple6 OR ((triple7) -> rule6))] The mouse is blue.[(triple7)] The mouse needs the bear.[(triple8)] The mouse visits the dog.[(triple9)] The squirrel eats the dog.[(triple10)] The squirrel eats the mouse.[(triple11)] The squirrel is blue.[(triple12)] The squirrel is cold.[(triple13)] The squirrel is green.[(triple14)] The squirrel is rough.[(triple15)] The squirrel needs the mouse.[(triple16)] @1: The squirrel eats the bear.[(((triple12) -> rule6))] The squirrel eats the squirrel.[(((triple16) -> rule3))] @2: The squirrel visits the dog.[(((((triple16) -> rule3) triple10) -> rule2))] @3: The dog is rough.[(((((((triple16) -> rule3) triple10) -> rule2) triple10) -> rule1))]