The bear chases the cow. The bear needs the dog. The cow is big. The dog is green. The dog needs the cow. The mouse chases the cow. The mouse needs the bear. If something needs the cow then it eats the bear. If something needs the bear then it does not need the cow. If something is big then it does not need the bear. If something chases the cow then it chases the mouse. If something chases the dog and the dog eats the bear then the bear does not need the mouse. If something chases the cow then the cow eats the dog.
The mouse needs the bear.
@0: The bear chases the cow.[(triple1)] The bear needs the dog.[(triple2)] The cow is big.[(triple3)] The dog is green.[(triple4)] The dog needs the cow.[(triple5)] The mouse chases the cow.[(triple6)] The mouse needs the bear.[(triple7)] @1: The bear chases the mouse.[(((triple1) -> rule4))] The cow does not need the bear.[(((triple3) -> rule3))] The cow eats the dog.[(((triple1) -> rule6) OR ((triple6) -> rule6))] The dog eats the bear.[(((triple5) -> rule1))] The mouse chases the mouse.[(((triple6) -> rule4))] The mouse does not need the cow.[(((triple7) -> rule2))]