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