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