The bald eagle is big. The bald eagle visits the cow. The bald eagle visits the rabbit. The cow is red. The cow is young. The cow does not visit the bald eagle. The rabbit chases the cow. The rabbit is green. The rabbit needs the bald eagle. The rabbit visits the bald eagle. If the rabbit is nice and the rabbit is green then the rabbit visits the bald eagle. If someone is young and they chase the bald eagle then they are nice. If someone needs the bald eagle then the bald eagle is not red. If the cow does not visit the bald eagle and the bald eagle is not nice then the cow is big. If the rabbit does not visit the bald eagle and the rabbit does not chase the bald eagle then the rabbit chases the cow. If someone visits the rabbit and the rabbit visits the cow then the cow needs the rabbit. If someone is young and big then they visit the cow. If someone is big then they need the rabbit.
The rabbit needs the bald eagle.
@0: The bald eagle is big.[(triple1)] The bald eagle visits the cow.[(triple2)] The bald eagle visits the rabbit.[(triple3)] The cow does not visit the bald eagle.[(triple6)] The cow is red.[(triple4)] The cow is young.[(triple5)] The rabbit chases the cow.[(triple7)] The rabbit is green.[(triple8)] The rabbit needs the bald eagle.[(triple9)] The rabbit visits the bald eagle.[(triple10)] @1: The bald eagle is not red.[(((triple9) -> rule3))] The bald eagle needs the rabbit.[(((triple1) -> rule8))]