The bald eagle eats the bear. The bear eats the cow. The cow is green. If someone visits the bear then they like the bald eagle. If someone visits the bald eagle then they visit the bear. If someone eats the bald eagle and they eat the bear then the bear likes the cow. If someone is green then they like the bald eagle. If the bear likes the bald eagle and the bear eats the cow then the bear is green. If someone likes the bald eagle and they are green then they visit the bald eagle. If someone is red and they like the cow then they are round. If someone visits the cow and they are nice then the cow eats the bald eagle.
The cow does not visit the cow.
@0: The bald eagle eats the bear.[(triple1)] The bear eats the cow.[(triple2)] The cow is green.[(triple3)] @1: The cow likes the bald eagle.[(((triple3) -> rule4))] @2: The cow visits the bald eagle.[(((((triple3) -> rule4) triple3) -> rule6))] @3: The cow visits the bear.[(((((((triple3) -> rule4) triple3) -> rule6)) -> rule2))]