The bald eagle chases the bear. The bald eagle eats the mouse. The bald eagle needs the bear. The bear eats the mouse. The bear is green. The bear is kind. The bear is red. The mouse chases the bear. The mouse eats the bald eagle. The mouse eats the bear. If something eats the bear and the bear eats the mouse then the mouse is nice. If something is kind then it needs the bald eagle.
The bear does not need the bald eagle.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle needs the bear.[(triple3)] The bear eats the mouse.[(triple4)] The bear is green.[(triple5)] The bear is kind.[(triple6)] The bear is red.[(triple7)] The mouse chases the bear.[(triple8)] The mouse eats the bald eagle.[(triple9)] The mouse eats the bear.[(triple10)] @1: The bear needs the bald eagle.[(((triple6) -> rule2))] The mouse is nice.[(((triple10 triple4) -> rule1))]