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