The bald eagle is red. The cow chases the bald eagle. The rabbit is green. If the bald eagle needs the rabbit and the rabbit needs the cow then the bald eagle is blue. If something is green then it needs the bald eagle.
The bald eagle is not blue.
@0: The bald eagle is red.[(triple1)] The cow chases the bald eagle.[(triple2)] The rabbit is green.[(triple3)] @1: The rabbit needs the bald eagle.[(((triple3) -> rule2))]