The bald eagle likes the bear. The bear eats the rabbit. The cow visits the bald eagle. The rabbit eats the bald eagle. If something visits the cow and it is not young then the cow visits the rabbit. If something visits the cow and the cow is not blue then it likes the cow. If something eats the cow then it likes the cow. If something likes the bear then the bear eats the cow. If something likes the cow then the cow visits the bear. If the bear is green and the bear is not round then the bear eats the rabbit. If something eats the bald eagle then the bald eagle is not kind. If the rabbit does not eat the cow then the cow does not like the bald eagle.
The bear eats the cow.
@0: The bald eagle likes the bear.[(triple1)] The bear eats the rabbit.[(triple2)] The cow visits the bald eagle.[(triple3)] The rabbit eats the bald eagle.[(triple4)] @1: The bald eagle is not kind.[(((triple4) -> rule7))] The bear eats the cow.[(((triple1) -> rule4))] @2: The bear likes the cow.[(((((triple1) -> rule4)) -> rule3))] @3: The cow visits the bear.[(((((((triple1) -> rule4)) -> rule3)) -> rule5))]