The bald eagle is not nice. The bear is green. The bear is nice. The bear needs the bald eagle. The bear needs the rabbit. The lion is green. The lion is nice. The lion likes the rabbit. The lion visits the bear. The lion visits the rabbit. The rabbit is not red. The rabbit is rough. If someone needs the lion and they do not like the bald eagle then the lion is rough. If someone visits the rabbit then the rabbit does not like the bear. If someone needs the rabbit and the rabbit does not visit the bald eagle then they do not need the lion. If the bald eagle does not visit the rabbit then the bald eagle does not need the rabbit. If someone is rough and green then they are round. If someone needs the bald eagle and they do not need the bear then they like the rabbit.
The bald eagle likes the bear.
@0: The bald eagle is not nice.[(triple1)] The bear is green.[(triple2)] The bear is nice.[(triple3)] The bear needs the bald eagle.[(triple4)] The bear needs the rabbit.[(triple5)] The lion is green.[(triple6)] The lion is nice.[(triple7)] The lion likes the rabbit.[(triple8)] The lion visits the bear.[(triple9)] The lion visits the rabbit.[(triple10)] The rabbit is not red.[(triple11)] The rabbit is rough.[(triple12)] @1: The rabbit does not like the bear.[(((triple10) -> rule2))]