The bear eats the mouse. The bear is blue. The bear does not need the mouse. The cow chases the bear. The cow chases the mouse. The cow is blue. The cow is kind. The cow needs the mouse. The lion eats the bear. The mouse chases the lion. The mouse eats the lion. The mouse needs the cow. If something eats the mouse and it does not eat the cow then the cow does not chase the mouse. If something is blue then it does not need the cow. If the mouse chases the bear and the bear chases the mouse then the bear eats the mouse. If something chases the mouse and the mouse is kind then it is not blue. If something chases the mouse then the mouse eats the lion. If something eats the cow and it is not big then it does not chase the cow.
The cow is big.
@0: The bear does not need the mouse.[(triple3)] The bear eats the mouse.[(triple1)] The bear is blue.[(triple2)] The cow chases the bear.[(triple4)] The cow chases the mouse.[(triple5)] The cow is blue.[(triple6)] The cow is kind.[(triple7)] The cow needs the mouse.[(triple8)] The lion eats the bear.[(triple9)] The mouse chases the lion.[(triple10)] The mouse eats the lion.[(triple11 OR ((triple5) -> rule5))] The mouse needs the cow.[(triple12)] @1: The bear does not need the cow.[(((triple2) -> rule2))] The cow does not need the cow.[(((triple6) -> rule2))]