The bear does not eat the cow. The bear does not eat the mouse. The cow chases the mouse. The cow does not eat the bear. The cow is blue. The cow is round. The cow needs the bear. The mouse chases the bear. The mouse eats the cow. The mouse is round. If someone is blue and they do not eat the cow then they need the mouse. If someone chases the mouse and the mouse is young then the mouse needs the cow. If someone needs the bear then they chase the cow. If someone needs the mouse and the mouse is cold then the mouse eats the bear. If the cow is young and the cow does not need the bear then the bear chases the mouse. If someone needs the bear then the bear needs the mouse. If someone chases the bear and the bear does not chase the cow then the cow eats the bear. If someone needs the mouse and they eat the bear then the bear needs the cow.
The bear does not chase the mouse.
@0: The bear does not eat the cow.[(triple1)] The bear does not eat the mouse.[(triple2)] The cow chases the mouse.[(triple3)] The cow does not eat the bear.[(triple4)] The cow is blue.[(triple5)] The cow is round.[(triple6)] The cow needs the bear.[(triple7)] The mouse chases the bear.[(triple8)] The mouse eats the cow.[(triple9)] The mouse is round.[(triple10)] @1: The bear needs the mouse.[(((triple7) -> rule6))] The cow chases the cow.[(((triple7) -> rule3))]