The bald eagle is cold. The bald eagle does not need the dog. The cow likes the bald eagle. The cow needs the bald eagle. The cow needs the dog. The cow sees the bald eagle. The dog is blue. The dog is nice. The dog does not like the bald eagle. The dog sees the cow. If something sees the bald eagle then it is not kind.
The bald eagle needs the bald eagle.
@0: The bald eagle does not need the dog.[(triple2)] The bald eagle is cold.[(triple1)] The cow likes the bald eagle.[(triple3)] The cow needs the bald eagle.[(triple4)] The cow needs the dog.[(triple5)] The cow sees the bald eagle.[(triple6)] The dog does not like the bald eagle.[(triple9)] The dog is blue.[(triple7)] The dog is nice.[(triple8)] The dog sees the cow.[(triple10)] @1: The cow is not kind.[(((triple6) -> rule1))]