The bald eagle is cold. The cow does not need the bald eagle. The lion does not visit the cow. If something eats the cow and it does not eat the lion then the lion is red. If something is cold then it does not visit the lion.
The cow needs the lion.
@0: The bald eagle is cold.[(triple1)] The cow does not need the bald eagle.[(triple2)] The lion does not visit the cow.[(triple3)] @1: The bald eagle does not visit the lion.[(((triple1) -> rule2))]