The bald eagle is nice. The bald eagle needs the squirrel. The cow does not eat the bald eagle. The cow eats the dog. The cow is not big. The cow likes the dog. The cow does not like the squirrel. The dog is not big. The dog likes the bald eagle. The dog needs the bald eagle. The squirrel eats the cow. The squirrel is kind. The squirrel is nice. The squirrel is young. The squirrel likes the dog. The squirrel needs the cow. If someone likes the squirrel and they do not like the cow then the cow is kind. If someone likes the bald eagle then the bald eagle is young.
The squirrel does not need the cow.
@0: The bald eagle is nice.[(triple1)] The bald eagle needs the squirrel.[(triple2)] The cow does not eat the bald eagle.[(triple3)] The cow does not like the squirrel.[(triple7)] The cow eats the dog.[(triple4)] The cow is not big.[(triple5)] The cow likes the dog.[(triple6)] The dog is not big.[(triple8)] The dog likes the bald eagle.[(triple9)] The dog needs the bald eagle.[(triple10)] The squirrel eats the cow.[(triple11)] The squirrel is kind.[(triple12)] The squirrel is nice.[(triple13)] The squirrel is young.[(triple14)] The squirrel likes the dog.[(triple15)] The squirrel needs the cow.[(triple16)] @1: The bald eagle is young.[(((triple9) -> rule2))]