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 bear is not green.
@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))]