The bald eagle eats the rabbit. The bald eagle is not blue. The bald eagle is not red. The bald eagle sees the cow. The cow eats the rabbit. The cow is blue. The cow is green. The cow is red. The cow is young. The cow does not need the bald eagle. The cow needs the rabbit. The rabbit is blue. The rabbit is green. The rabbit is red. The rabbit does not need the bald eagle. The rabbit sees the cow. If something needs the bald eagle then the bald eagle sees the rabbit. If something needs the bald eagle then the bald eagle sees the cow. If something needs the cow then it is big. If something is blue and it needs the bald eagle then the bald eagle needs the rabbit. If something sees the rabbit and the rabbit is big then the rabbit sees the cow. If the cow eats the bald eagle then the bald eagle is green. If something is young and it does not need the bald eagle then the bald eagle is young. If the rabbit sees the bald eagle then the bald eagle does not eat the rabbit.
The bald eagle does not need the rabbit.
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle is not blue.[(triple2)] The bald eagle is not red.[(triple3)] The bald eagle sees the cow.[(triple4)] The cow does not need the bald eagle.[(triple10)] The cow eats the rabbit.[(triple5)] The cow is blue.[(triple6)] The cow is green.[(triple7)] The cow is red.[(triple8)] The cow is young.[(triple9)] The cow needs the rabbit.[(triple11)] The rabbit does not need the bald eagle.[(triple15)] The rabbit is blue.[(triple12)] The rabbit is green.[(triple13)] The rabbit is red.[(triple14)] The rabbit sees the cow.[(triple16)] @1: The bald eagle is young.[(((triple9 triple10) -> rule7))]