The bald eagle visits the rabbit. The bear is blue. The bear is nice. The bear needs the bald eagle. The bear needs the rabbit. The rabbit chases the bear. The rabbit needs the bald eagle. If the bear is blue and the bear needs the rabbit then the rabbit chases the bald eagle. If something chases the bald eagle then it needs the bear. If something is blue and it needs the bear then it is nice.
The rabbit does not chase the bald eagle.
@0: The bald eagle visits the rabbit.[(triple1)] The bear is blue.[(triple2)] The bear is nice.[(triple3)] The bear needs the bald eagle.[(triple4)] The bear needs the rabbit.[(triple5)] The rabbit chases the bear.[(triple6)] The rabbit needs the bald eagle.[(triple7)] @1: The rabbit chases the bald eagle.[(((triple2 triple5) -> rule1))] @2: The rabbit needs the bear.[(((((triple2 triple5) -> rule1)) -> rule2))]