The bald eagle is not green. The bald eagle is kind. The bald eagle likes the dog. The bald eagle visits the dog. The dog is not kind. The dog is nice. The dog is rough. The dog likes the bald eagle. The dog does not need the bald eagle. The dog visits the bald eagle. If something needs the bald eagle and it is kind then it does not like the dog. If something needs the bald eagle then the bald eagle is nice. If something visits the dog then it likes the bald eagle. If something needs the dog then it does not like the bald eagle. If the dog needs the bald eagle and the bald eagle does not like the dog then the bald eagle does not need the dog. If something visits the bald eagle and it is not nice then it needs the dog. If the bald eagle does not like the dog then the dog does not like the bald eagle. If something needs the dog and the dog needs the bald eagle then the dog visits the bald eagle.
The dog does not need the dog.
@0: The bald eagle is kind.[(triple2)] The bald eagle is not green.[(triple1)] The bald eagle likes the dog.[(triple3)] The bald eagle visits the dog.[(triple4)] The dog does not need the bald eagle.[(triple9)] The dog is nice.[(triple6)] The dog is not kind.[(triple5)] The dog is rough.[(triple7)] The dog likes the bald eagle.[(triple8)] The dog visits the bald eagle.[(triple10)] @1: The bald eagle likes the bald eagle.[(((triple4) -> rule3))]