The bald eagle does not chase the cow. The bald eagle is big. The bald eagle is not rough. The bald eagle does not need the cow. The bald eagle needs the rabbit. The bald eagle visits the cow. The bald eagle visits the rabbit. The cow chases the bald eagle. The cow is blue. The cow needs the rabbit. The rabbit does not chase the bald eagle. The rabbit is blue. The rabbit is young. The rabbit needs the bald eagle. The rabbit needs the cow. The rabbit visits the bald eagle. If someone visits the bald eagle then the bald eagle does not chase the cow. If someone needs the rabbit and they are not round then they visit the bald eagle. If the rabbit is blue then the rabbit is not big. If the rabbit is round then the rabbit does not visit the bald eagle. If someone needs the cow and they are not big then they do not visit the rabbit. If someone visits the rabbit and the rabbit needs the bald eagle then they are not rough.
The cow visits the bald eagle.
@0: The bald eagle does not chase the cow.[(triple1 OR ((triple16) -> rule1))] The bald eagle does not need the cow.[(triple4)] The bald eagle is big.[(triple2)] The bald eagle is not rough.[(triple3 OR ((triple7 triple14) -> rule6))] The bald eagle needs the rabbit.[(triple5)] The bald eagle visits the cow.[(triple6)] The bald eagle visits the rabbit.[(triple7)] The cow chases the bald eagle.[(triple8)] The cow is blue.[(triple9)] The cow needs the rabbit.[(triple10)] The rabbit does not chase the bald eagle.[(triple11)] The rabbit is blue.[(triple12)] The rabbit is young.[(triple13)] The rabbit needs the bald eagle.[(triple14)] The rabbit needs the cow.[(triple15)] The rabbit visits the bald eagle.[(triple16)] @1: The rabbit is not big.[(((triple12) -> rule3))] @2: The rabbit does not visit the rabbit.[(((triple15 ((triple12) -> rule3)) -> rule5))]