The bald eagle is nice. The bald eagle needs the rabbit. The bald eagle visits the rabbit. The bear eats the rabbit. The bear needs the bald eagle. The bear visits the rabbit. The rabbit is big. The rabbit needs the bald eagle. The rabbit needs the bear. The rabbit visits the bear. If something needs the bear then the bear eats the rabbit. If something visits the rabbit and the rabbit is nice then the rabbit eats the bear. If something is rough then it eats the rabbit. If something eats the bald eagle and the bald eagle needs the bear then it needs the bald eagle. If something is rough and big then it visits the rabbit. If something visits the bald eagle then it is big. If something needs the rabbit then the rabbit is nice. If the rabbit is nice then the rabbit needs the bear.
The bald eagle does not need the rabbit.
@0: The bald eagle is nice.[(triple1)] The bald eagle needs the rabbit.[(triple2)] The bald eagle visits the rabbit.[(triple3)] The bear eats the rabbit.[(triple4 OR ((triple9) -> rule1) OR ((((((triple2) -> rule7)) -> rule8)) -> rule1))] The bear needs the bald eagle.[(triple5)] The bear visits the rabbit.[(triple6)] The rabbit is big.[(triple7)] The rabbit needs the bald eagle.[(triple8)] The rabbit needs the bear.[(triple9 OR ((((triple2) -> rule7)) -> rule8))] The rabbit visits the bear.[(triple10)] @1: The rabbit is nice.[(((triple2) -> rule7))] @2: The rabbit eats the bear.[(((triple3 ((triple2) -> rule7)) -> rule2) OR ((triple6 ((triple2) -> rule7)) -> rule2))]