The bald eagle visits the dog. The dog needs the bald eagle. If something visits the dog then it sees the bald eagle. If something visits the bald eagle and the bald eagle needs the dog then the dog visits the bald eagle. If something sees the bald eagle then it visits the dog. If something is green then it sees the bald eagle. If something needs the dog then the dog visits the bald eagle. If something visits the bald eagle then the bald eagle needs the dog. If something needs the dog and it is nice then it sees the dog. If something sees the bald eagle then the bald eagle needs the dog.
The bald eagle is nice.
@0: The bald eagle visits the dog.[(triple1)] The dog needs the bald eagle.[(triple2)] @1: The bald eagle sees the bald eagle.[(((triple1) -> rule1))] @2: The bald eagle needs the dog.[(((((triple1) -> rule1)) -> rule8))] @3: The dog visits the bald eagle.[(((((((triple1) -> rule1)) -> rule8)) -> rule5))]