The bald eagle is green. The bear needs the bald eagle. The dog is not nice. If the bald eagle is green then the bald eagle needs the dog. If someone needs the dog then they do not eat the bald eagle.
The bald eagle is green.
@0: The bald eagle is green.[(triple1)] The bear needs the bald eagle.[(triple2)] The dog is not nice.[(triple3)] @1: The bald eagle needs the dog.[(((triple1) -> rule1))] @2: The bald eagle does not eat the bald eagle.[(((((triple1) -> rule1)) -> rule2))]