The bald eagle chases the dog. The bald eagle does not eat the dog. The bald eagle is big. The bald eagle is young. The dog chases the bald eagle. The dog eats the bald eagle. The dog is not green. The dog is not kind. The dog is red. The dog visits the bald eagle. If something is young and it chases the bald eagle then it does not visit the dog. If something chases the dog and it eats the bald eagle then it does not eat the dog. If the dog visits the bald eagle then the dog is big. If the bald eagle visits the dog and the dog does not visit the bald eagle then the dog is big. If something visits the dog then it does not eat the bald eagle. If something visits the bald eagle then the bald eagle visits the dog.
The dog visits the dog.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle does not eat the dog.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is young.[(triple4)] The dog chases the bald eagle.[(triple5)] The dog eats the bald eagle.[(triple6)] The dog is not green.[(triple7)] The dog is not kind.[(triple8)] The dog is red.[(triple9)] The dog visits the bald eagle.[(triple10)] @1: The bald eagle visits the dog.[(((triple10) -> rule6))] The dog is big.[(((triple10) -> rule3))] @2: The bald eagle does not eat the bald eagle.[(((((triple10) -> rule6)) -> rule5))]