The bald eagle does not need the mouse. The bear does not eat the bald eagle. The bear eats the tiger. The mouse chases the bald eagle. The mouse eats the bear. The mouse is round. The tiger eats the bear. If something is round then it chases the bear. If something eats the bear and it does not need the bald eagle then it chases the bear. If something chases the bear then it needs the tiger. If something chases the mouse and the mouse is red then it does not eat the bald eagle. If something is red then it does not eat the bald eagle. If something is round and it needs the tiger then the tiger is round. If something needs the bald eagle then it is not red. If something needs the bald eagle and the bald eagle eats the tiger then the tiger eats the mouse. If something is round and it does not eat the mouse then it does not need the mouse.
The bald eagle does not chase the bear.
@0: The bald eagle does not need the mouse.[(triple1)] The bear does not eat the bald eagle.[(triple2)] The bear eats the tiger.[(triple3)] The mouse chases the bald eagle.[(triple4)] The mouse eats the bear.[(triple5)] The mouse is round.[(triple6)] The tiger eats the bear.[(triple7)] @1: The mouse chases the bear.[(((triple6) -> rule1))] @2: The mouse needs the tiger.[(((((triple6) -> rule1)) -> rule3))] @3: The tiger is round.[(((triple6 ((((triple6) -> rule1)) -> rule3)) -> rule6))] @4: The tiger chases the bear.[(((((triple6 ((((triple6) -> rule1)) -> rule3)) -> rule6)) -> rule1))] @5: The tiger needs the tiger.[(((((((triple6 ((((triple6) -> rule1)) -> rule3)) -> rule6)) -> rule1)) -> rule3))]