The bald eagle is not kind. The bear is green. The bear needs the bald eagle. The bear visits the bald eagle. The bear does not visit the rabbit. The lion needs the bald eagle. The rabbit needs the bald eagle. The rabbit does not need the bear. The rabbit sees the bear. The rabbit visits the bald eagle. If someone is green and they do not visit the rabbit then the rabbit is kind. If someone needs the rabbit and they do not need the bear then the rabbit visits the lion.
The bear sees the bear.
@0: The bald eagle is not kind.[(triple1)] The bear does not visit the rabbit.[(triple5)] The bear is green.[(triple2)] The bear needs the bald eagle.[(triple3)] The bear visits the bald eagle.[(triple4)] The lion needs the bald eagle.[(triple6)] The rabbit does not need the bear.[(triple8)] The rabbit needs the bald eagle.[(triple7)] The rabbit sees the bear.[(triple9)] The rabbit visits the bald eagle.[(triple10)] @1: The rabbit is kind.[(((triple2 triple5) -> rule1))]