The bear needs the mouse. The cow chases the bear. The cow needs the bear. The lion eats the mouse. The lion is blue. The lion needs the mouse. The mouse chases the cow. If something chases the cow then it is round. If something eats the lion and the lion needs the cow then the lion chases the bear. If the bear needs the mouse and the bear needs the cow then the bear needs the lion. If the cow eats the mouse and the mouse chases the cow then the cow chases the lion. If something eats the bear then it eats the lion. If something needs the cow and it is young then the cow needs the mouse.
The lion is not blue.
@0: The bear needs the mouse.[(triple1)] The cow chases the bear.[(triple2)] The cow needs the bear.[(triple3)] The lion eats the mouse.[(triple4)] The lion is blue.[(triple5)] The lion needs the mouse.[(triple6)] The mouse chases the cow.[(triple7)] @1: The mouse is round.[(((triple7) -> rule1))]