The bald eagle eats the dog. The dog eats the bald eagle. The dog likes the bald eagle. If something is big then it chases the bald eagle. If something chases the dog and the dog is nice then it likes the bald eagle. If something is round then it likes the dog. If the dog eats the bald eagle and the dog likes the bald eagle then the dog is big. If something chases the dog and the dog chases the bald eagle then the bald eagle eats the dog. If the bald eagle likes the dog and the bald eagle chases the dog then the dog is nice. If something eats the dog then the dog likes the bald eagle. If something chases the bald eagle then it chases the dog.
The bald eagle likes the bald eagle.
@0: The bald eagle eats the dog.[(triple1 OR ((((((((triple2 triple3) -> rule4)) -> rule1)) -> rule8) ((((triple2 triple3) -> rule4)) -> rule1)) -> rule5))] The dog eats the bald eagle.[(triple2)] The dog likes the bald eagle.[(triple3 OR ((triple1) -> rule7))] @1: The dog is big.[(((triple2 triple3) -> rule4) OR ((triple2 ((triple1) -> rule7)) -> rule4))] @2: The dog chases the bald eagle.[(((((triple2 triple3) -> rule4)) -> rule1) OR ((((triple2 ((triple1) -> rule7)) -> rule4)) -> rule1))] @3: The dog chases the dog.[(((((((triple2 triple3) -> rule4)) -> rule1)) -> rule8) OR ((((((triple2 ((triple1) -> rule7)) -> rule4)) -> rule1)) -> rule8))]