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