The bald eagle needs the rabbit. The cat sees the rabbit. The rabbit is green. If something is green then it needs the cat. If something is green then it sees the cat.
The bald eagle does not need the rabbit.
@0: The bald eagle needs the rabbit.[(triple1)] The cat sees the rabbit.[(triple2)] The rabbit is green.[(triple3)] @1: The rabbit needs the cat.[(((triple3) -> rule1))] The rabbit sees the cat.[(((triple3) -> rule2))]