The bear eats the mouse. The bear is rough. The bear needs the cow. The bear needs the mouse. The bear visits the mouse. The cow visits the bear. The cow visits the dog. The dog is big. The dog is rough. The dog needs the mouse. The dog visits the mouse. The mouse needs the cow. If someone visits the cow and they need the dog then the dog needs the bear. If someone visits the mouse then they need the mouse. If someone is green then they eat the cow. If someone is rough and they need the cow then the cow visits the mouse. If someone visits the cow and they are green then the cow visits the dog. If someone is red and they eat the cow then the cow is green. If someone eats the cow then they are round. If the cow is big and the cow eats the bear then the cow eats the mouse.
The cow does not need the mouse.
@0: The bear eats the mouse.[(triple1)] The bear is rough.[(triple2)] The bear needs the cow.[(triple3)] The bear needs the mouse.[(triple4 OR ((triple5) -> rule2))] The bear visits the mouse.[(triple5)] The cow visits the bear.[(triple6)] The cow visits the dog.[(triple7)] The dog is big.[(triple8)] The dog is rough.[(triple9)] The dog needs the mouse.[(triple10 OR ((triple11) -> rule2))] The dog visits the mouse.[(triple11)] The mouse needs the cow.[(triple12)] @1: The cow visits the mouse.[(((triple2 triple3) -> rule4))] @2: The cow needs the mouse.[(((((triple2 triple3) -> rule4)) -> rule2))]