The bald eagle is not red. The cow needs the bald eagle. The mouse chases the bald eagle. If someone needs the bald eagle then the bald eagle visits the cow. If someone is big then they need the cow.
The cow needs the bald eagle.
@0: The bald eagle is not red.[(triple1)] The cow needs the bald eagle.[(triple2)] The mouse chases the bald eagle.[(triple3)] @1: The bald eagle visits the cow.[(((triple2) -> rule1))]