The bald eagle chases the mouse. The bald eagle needs the rabbit. The bear eats the mouse. The bear eats the rabbit. The bear needs the rabbit. The mouse chases the bear. The mouse eats the bald eagle. The mouse is nice. The mouse is young. The mouse needs the rabbit. The rabbit eats the bald eagle. The rabbit eats the bear. If something needs the mouse then the mouse chases the bear. If something is green and it eats the rabbit then it eats the bear. If the mouse eats the bald eagle then the bald eagle chases the mouse. If something chases the bear then the bear needs the rabbit. If something eats the mouse then the mouse chases the rabbit. If something eats the bald eagle then the bald eagle needs the rabbit. If something eats the rabbit and the rabbit is young then the rabbit needs the mouse. If something needs the mouse then it needs the bear.
The mouse does not need the bear.
@0: The bald eagle chases the mouse.[(triple1 OR ((triple7) -> rule3))] The bald eagle needs the rabbit.[(triple2 OR ((triple11) -> rule6) OR ((triple7) -> rule6))] The bear eats the mouse.[(triple3)] The bear eats the rabbit.[(triple4)] The bear needs the rabbit.[(triple5 OR ((triple6) -> rule4))] The mouse chases the bear.[(triple6)] The mouse eats the bald eagle.[(triple7)] The mouse is nice.[(triple8)] The mouse is young.[(triple9)] The mouse needs the rabbit.[(triple10)] The rabbit eats the bald eagle.[(triple11)] The rabbit eats the bear.[(triple12)] @1: The mouse chases the rabbit.[(((triple3) -> rule5))]