The bald eagle is blue. The bald eagle is green. The bald eagle is kind. The bald eagle is nice. The bald eagle is young. The bald eagle likes the dog. The bald eagle needs the dog. The bald eagle does not visit the dog. The dog is not blue. The dog is not green. The dog is nice. The dog is not young. The dog does not like the bald eagle. The dog needs the bald eagle. The dog visits the bald eagle. If something is young then it visits the bald eagle.
The dog is not nice.
@0: The bald eagle does not visit the dog.[(triple8)] The bald eagle is blue.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle is young.[(triple5)] The bald eagle likes the dog.[(triple6)] The bald eagle needs the dog.[(triple7)] The dog does not like the bald eagle.[(triple13)] The dog is nice.[(triple11)] The dog is not blue.[(triple9)] The dog is not green.[(triple10)] The dog is not young.[(triple12)] The dog needs the bald eagle.[(triple14)] The dog visits the bald eagle.[(triple15)] @1: The bald eagle visits the bald eagle.[(((triple5) -> rule1))]