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