The bald eagle does not need the rabbit. The cow is not red. The rabbit eats the bald eagle. The tiger needs the bald eagle. If the cow is round then the cow needs the tiger. Nice things are cold. If the tiger needs the bald eagle then the bald eagle is cold.
The rabbit eats the bald eagle.
@0: The bald eagle does not need the rabbit.[(triple1)] The cow is not red.[(triple2)] The rabbit eats the bald eagle.[(triple3)] The tiger needs the bald eagle.[(triple4)] @1: The bald eagle is cold.[(((triple4) -> rule3))]