The bald eagle is cold. The bald eagle is kind. The bald eagle is round. The bald eagle needs the cow. The bald eagle sees the cow. The cow is not kind. The cow is round. The cow is not young. The cow does not like the bald eagle. The cow needs the bald eagle. If the bald eagle likes the cow and the bald eagle is not kind then the cow does not see the bald eagle. If something needs the cow then it does not like the bald eagle.
The bald eagle does not see the bald eagle.
@0: The bald eagle is cold.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle needs the cow.[(triple4)] The bald eagle sees the cow.[(triple5)] The cow does not like the bald eagle.[(triple9)] The cow is not kind.[(triple6)] The cow is not young.[(triple8)] The cow is round.[(triple7)] The cow needs the bald eagle.[(triple10)] @1: The bald eagle does not like the bald eagle.[(((triple4) -> rule2))]