The bald eagle eats the dog. The dog eats the bald eagle. If something likes the dog then the dog is young. If something eats the bald eagle and it visits the bald eagle then the bald eagle visits the dog. If something eats the dog then the dog likes the bald eagle. If something eats the bald eagle then it is nice. If something eats the bald eagle and it likes the bald eagle then the bald eagle likes the dog. If something eats the dog and it is young then it likes the dog.
The bald eagle likes the dog.
@0: The bald eagle eats the dog.[(triple1)] The dog eats the bald eagle.[(triple2)] @1: The dog is nice.[(((triple2) -> rule4))] The dog likes the bald eagle.[(((triple1) -> rule3))] @2: The bald eagle likes the dog.[(((triple2 ((triple1) -> rule3)) -> rule5))] @3: The dog is young.[(((((triple2 ((triple1) -> rule3)) -> rule5)) -> rule1))]