The bald eagle eats the dog. The bald eagle is cold. The bald eagle is nice. The bald eagle visits the dog. The dog eats the bald eagle. The dog is blue. The dog sees the bald eagle. If something visits the dog and the dog visits the bald eagle then the dog eats the bald eagle. If something visits the dog then it eats the dog. If something visits the dog and the dog is nice then the dog visits the bald eagle. If something eats the dog then it sees the bald eagle. If the bald eagle sees the dog then the dog is red. If something is blue then it visits the dog.
The dog eats the dog.
@0: The bald eagle eats the dog.[(triple1 OR ((triple4) -> rule2))] The bald eagle is cold.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle visits the dog.[(triple4)] The dog eats the bald eagle.[(triple5)] The dog is blue.[(triple6)] The dog sees the bald eagle.[(triple7 OR ((((((triple6) -> rule6)) -> rule2)) -> rule4))] @1: The bald eagle sees the bald eagle.[(((triple1) -> rule4) OR ((((triple4) -> rule2)) -> rule4))] The dog visits the dog.[(((triple6) -> rule6))] @2: The dog eats the dog.[(((((triple6) -> rule6)) -> rule2))]