The bald eagle chases the cat. The cat chases the dog. The dog chases the bald eagle. If something sees the cat and it chases the bald eagle then it eats the bald eagle. If something eats the bald eagle then it sees the cat. If something chases the dog then the dog eats the bald eagle. If something chases the dog and it sees the dog then it eats the cat. If something sees the cat then the cat sees the bald eagle. If something eats the bald eagle and it chases the dog then the dog eats the cat.
The cat does not eat the bald eagle.
@0: The bald eagle chases the cat.[(triple1)] The cat chases the dog.[(triple2)] The dog chases the bald eagle.[(triple3)] @1: The dog eats the bald eagle.[(((triple2) -> rule3))] @2: The dog sees the cat.[(((((triple2) -> rule3)) -> rule2))] @3: The cat sees the bald eagle.[(((((((triple2) -> rule3)) -> rule2)) -> rule5))]