The bald eagle sees the bear. The bald eagle visits the bear. The bald eagle visits the lion. The bear is green. The bear is rough. The bear sees the dog. The dog eats the bald eagle. The dog sees the bald eagle. The dog sees the bear. The lion eats the bald eagle. The lion eats the bear. The lion is red. The lion is young. The lion sees the bear. The lion sees the dog. The lion visits the bald eagle. If someone eats the bear and the bear eats the dog then they are red. If someone visits the bald eagle and the bald eagle visits the bear then the bear sees the lion. If someone sees the bear and the bear sees the lion then the bear sees the bald eagle. If someone visits the bear and they are big then they visit the dog. If someone visits the bear and they eat the bear then the bear eats the dog. If someone is green and they see the bald eagle then the bald eagle is green.
The bear is not red.
@0: The bald eagle sees the bear.[(triple1)] The bald eagle visits the bear.[(triple2)] The bald eagle visits the lion.[(triple3)] The bear is green.[(triple4)] The bear is rough.[(triple5)] The bear sees the dog.[(triple6)] The dog eats the bald eagle.[(triple7)] The dog sees the bald eagle.[(triple8)] The dog sees the bear.[(triple9)] The lion eats the bald eagle.[(triple10)] The lion eats the bear.[(triple11)] The lion is red.[(triple12)] The lion is young.[(triple13)] The lion sees the bear.[(triple14)] The lion sees the dog.[(triple15)] The lion visits the bald eagle.[(triple16)] @1: The bear sees the lion.[(((triple16 triple2) -> rule2))] @2: The bear sees the bald eagle.[(((triple1 ((triple16 triple2) -> rule2)) -> rule3) OR ((triple14 ((triple16 triple2) -> rule2)) -> rule3) OR ((triple9 ((triple16 triple2) -> rule2)) -> rule3))] @3: The bald eagle is green.[(((triple4 ((triple1 ((triple16 triple2) -> rule2)) -> rule3)) -> rule6) OR ((triple4 ((triple14 ((triple16 triple2) -> rule2)) -> rule3)) -> rule6) OR ((triple4 ((triple9 ((triple16 triple2) -> rule2)) -> rule3)) -> rule6))]