The bald eagle is young. The bald eagle does not need the bear. The bald eagle does not visit the dog. The bear is blue. The bear is cold. The bear visits the dog. The dog is not blue. The dog likes the bear. The dog needs the bald eagle. The dog needs the bear. The dog visits the bald eagle. The dog does not visit the bear. If someone is green then they are young. If someone visits the dog then they are young. If the dog does not need the bald eagle then the bald eagle does not need the bear. If the bear needs the bald eagle then the bald eagle needs the bear. If the bald eagle visits the dog then the bald eagle does not like the dog. If someone likes the dog and they do not visit the dog then the dog does not need the bear. If someone visits the dog then the dog is not blue. If someone needs the bald eagle and the bald eagle does not like the dog then the dog likes the bald eagle.
The dog visits the bear.
@0: The bald eagle does not need the bear.[(triple2)] The bald eagle does not visit the dog.[(triple3)] The bald eagle is young.[(triple1)] The bear is blue.[(triple4)] The bear is cold.[(triple5)] The bear visits the dog.[(triple6)] The dog does not visit the bear.[(triple12)] The dog is not blue.[(triple7 OR ((triple6) -> rule7))] The dog likes the bear.[(triple8)] The dog needs the bald eagle.[(triple9)] The dog needs the bear.[(triple10)] The dog visits the bald eagle.[(triple11)] @1: The bear is young.[(((triple6) -> rule2))]