The bald eagle chases the cow. The bald eagle chases the rabbit. The bald eagle is young. The bald eagle needs the cow. The cow chases the bald eagle. The cow chases the rabbit. The cow is big. The cow is nice. The cow is red. The cow is not young. The cow needs the rabbit. The cow sees the bald eagle. The cow sees the rabbit. The rabbit is young. The rabbit needs the cow. If someone is big and they need the rabbit then the rabbit does not chase the cow. If the rabbit sees the cow then the rabbit does not chase the cow.
The rabbit does not need the bald eagle.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle needs the cow.[(triple4)] The cow chases the bald eagle.[(triple5)] The cow chases the rabbit.[(triple6)] The cow is big.[(triple7)] The cow is nice.[(triple8)] The cow is not young.[(triple10)] The cow is red.[(triple9)] The cow needs the rabbit.[(triple11)] The cow sees the bald eagle.[(triple12)] The cow sees the rabbit.[(triple13)] The rabbit is young.[(triple14)] The rabbit needs the cow.[(triple15)] @1: The rabbit does not chase the cow.[(((triple7 triple11) -> rule1))]