The bald eagle visits the bear. The bear visits the cow. The cow is nice. The lion sees the bald eagle. If someone visits the cow then they are green.
The cow sees the cow.
@0: The bald eagle visits the bear.[(triple1)] The bear visits the cow.[(triple2)] The cow is nice.[(triple3)] The lion sees the bald eagle.[(triple4)] @1: The bear is green.[(((triple2) -> rule1))]