The bald eagle visits the bear. The bear eats the cow. The cow is nice. If something eats the cow then it is not red. If something is nice then it needs the bear. If the bear eats the bald eagle then the bear is cold. If the cow eats the bear then the cow is cold. If something needs the bear then it visits the bear. If something is green and it visits the bald eagle then the bald eagle is red.
The bald eagle does not visit the bear.
@0: The bald eagle visits the bear.[(triple1)] The bear eats the cow.[(triple2)] The cow is nice.[(triple3)] @1: The bear is not red.[(((triple2) -> rule1))] The cow needs the bear.[(((triple3) -> rule2))] @2: The cow visits the bear.[(((((triple3) -> rule2)) -> rule5))]