The bald eagle is green. The bald eagle sees the dog. The bald eagle does not visit the dog. The bear eats the bald eagle. The bear eats the dog. The bear is nice. The bear is young. The bear sees the bald eagle. The bear does not see the dog. The bear visits the dog. The dog eats the bear. The dog is kind. The dog is young. The dog visits the bald eagle. The dog does not visit the bear. If someone is nice and they eat the dog then they visit the bear. If someone eats the dog then they see the bear. If someone is red then they see the bear. If someone is green and red then they do not eat the bear. If someone is young and they see the dog then the dog visits the bald eagle. If the bald eagle visits the dog and the bald eagle does not eat the bear then the dog sees the bald eagle. If someone sees the dog then the dog does not see the bald eagle. If the dog eats the bear and the dog sees the bald eagle then the bear does not see the bald eagle.
The bald eagle does not visit the bear.
@0: The bald eagle does not visit the dog.[(triple3)] The bald eagle is green.[(triple1)] The bald eagle sees the dog.[(triple2)] The bear does not see the dog.[(triple9)] The bear eats the bald eagle.[(triple4)] The bear eats the dog.[(triple5)] The bear is nice.[(triple6)] The bear is young.[(triple7)] The bear sees the bald eagle.[(triple8)] The bear visits the dog.[(triple10)] The dog does not visit the bear.[(triple15)] The dog eats the bear.[(triple11)] The dog is kind.[(triple12)] The dog is young.[(triple13)] The dog visits the bald eagle.[(triple14)] @1: The bear sees the bear.[(((triple5) -> rule2))] The bear visits the bear.[(((triple6 triple5) -> rule1))] The dog does not see the bald eagle.[(((triple2) -> rule7))]