The bald eagle is blue. The bald eagle is not cold. The bald eagle is not kind. The bald eagle is nice. The bald eagle is young. The bald eagle likes the bear. The bald eagle sees the bear. The bald eagle visits the bear. The bear is not blue. The bear is not cold. The bear is kind. The bear is nice. The bear is not young. The bear likes the bald eagle. The bear sees the bald eagle. The bear visits the bald eagle. If something visits the bear then it sees the bald eagle. If something visits the bald eagle then it visits the bear. If something is cold and nice then it visits the bear. If something visits the bald eagle and it likes the bald eagle then the bald eagle visits the bear. If something is cold and it likes the bald eagle then it likes the bear. If something sees the bald eagle and the bald eagle does not visit the bear then the bear sees the bald eagle. If something is cold and it sees the bald eagle then the bald eagle likes the bear. If something is cold and it does not visit the bald eagle then the bald eagle likes the bear.
The bald eagle does not see the bear.
@0: The bald eagle is blue.[(triple1)] The bald eagle is nice.[(triple4)] The bald eagle is not cold.[(triple2)] The bald eagle is not kind.[(triple3)] The bald eagle is young.[(triple5)] The bald eagle likes the bear.[(triple6)] The bald eagle sees the bear.[(triple7)] The bald eagle visits the bear.[(triple8 OR ((triple16 triple14) -> rule4))] The bear is kind.[(triple11)] The bear is nice.[(triple12)] The bear is not blue.[(triple9)] The bear is not cold.[(triple10)] The bear is not young.[(triple13)] The bear likes the bald eagle.[(triple14)] The bear sees the bald eagle.[(triple15 OR ((((triple16) -> rule2)) -> rule1))] The bear visits the bald eagle.[(triple16)] @1: The bald eagle sees the bald eagle.[(((triple8) -> rule1) OR ((((triple16 triple14) -> rule4)) -> rule1))] The bear visits the bear.[(((triple16) -> rule2))]