The bald eagle is green. The bald eagle is red. The bald eagle needs the bear. The bald eagle does not need the tiger. The bear chases the lion. The bear is not nice. The bear is red. The bear does not need the bald eagle. The bear needs the tiger. The lion chases the bald eagle. The lion chases the tiger. The lion sees the bald eagle. The lion sees the bear. The tiger chases the bear. The tiger is kind. The tiger needs the lion. If the tiger chases the bald eagle and the tiger needs the bear then the bald eagle chases the tiger. If something chases the tiger then it is kind. If something is red and it sees the tiger then the tiger sees the bear.
The lion sees the bald eagle.
@0: The bald eagle does not need the tiger.[(triple4)] The bald eagle is green.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle needs the bear.[(triple3)] The bear chases the lion.[(triple5)] The bear does not need the bald eagle.[(triple8)] The bear is not nice.[(triple6)] The bear is red.[(triple7)] The bear needs the tiger.[(triple9)] The lion chases the bald eagle.[(triple10)] The lion chases the tiger.[(triple11)] The lion sees the bald eagle.[(triple12)] The lion sees the bear.[(triple13)] The tiger chases the bear.[(triple14)] The tiger is kind.[(triple15)] The tiger needs the lion.[(triple16)] @1: The lion is kind.[(((triple11) -> rule2))]