The bald eagle is green. The bear needs the cat. The cat chases the bear. If something is green then it visits the bear. If something visits the bald eagle then the bald eagle is rough. If something is rough then it visits the cat. If something needs the cat then it visits the bald eagle. If the cat needs the bear and the cat needs the bald eagle then the bear chases the bald eagle. If the bald eagle needs the bear and the bear needs the cat then the bald eagle visits the cat.
The bald eagle visits the cat.
@0: The bald eagle is green.[(triple1)] The bear needs the cat.[(triple2)] The cat chases the bear.[(triple3)] @1: The bald eagle visits the bear.[(((triple1) -> rule1))] The bear visits the bald eagle.[(((triple2) -> rule4))] @2: The bald eagle is rough.[(((((triple2) -> rule4)) -> rule2))] @3: The bald eagle visits the cat.[(((((((triple2) -> rule4)) -> rule2)) -> rule3))]