The bald eagle chases the cow. The bald eagle is cold. The bald eagle is kind. The bald eagle is rough. The bald eagle needs the cow. The bald eagle does not visit the cow. The cow is rough. If someone needs the bald eagle then the bald eagle needs the cow. If someone chases the cow then the cow visits the bald eagle. If someone needs the cow then the cow visits the bald eagle. If someone needs the cow then the cow does not need the bald eagle. If someone visits the bald eagle and they do not chase the bald eagle then they need the bald eagle. If someone visits the bald eagle and they do not need the bald eagle then they visit the cow.
The bald eagle is rough.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle does not visit the cow.[(triple6)] The bald eagle is cold.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle needs the cow.[(triple5)] The cow is rough.[(triple7)] @1: The cow does not need the bald eagle.[(((triple5) -> rule4))] The cow visits the bald eagle.[(((triple1) -> rule2) OR ((triple5) -> rule3))] @2: The cow visits the cow.[(((((triple1) -> rule2) ((triple5) -> rule4)) -> rule6) OR ((((triple5) -> rule3) ((triple5) -> rule4)) -> rule6))]