The bear eats the dog. The bear is green. The bear does not need the mouse. The cow chases the mouse. The dog chases the mouse. The mouse chases the bear. The mouse is blue. If someone eats the dog then the dog needs the cow. If someone needs the cow then the cow eats the dog.
The cow eats the dog.
@0: The bear does not need the mouse.[(triple3)] The bear eats the dog.[(triple1)] The bear is green.[(triple2)] The cow chases the mouse.[(triple4)] The dog chases the mouse.[(triple5)] The mouse chases the bear.[(triple6)] The mouse is blue.[(triple7)] @1: The dog needs the cow.[(((triple1) -> rule1))] @2: The cow eats the dog.[(((((triple1) -> rule1)) -> rule2))]