The bald eagle eats the rabbit. The bald eagle is not young. The bald eagle needs the rabbit. The mouse does not eat the rabbit. The mouse sees the rabbit. The rabbit eats the bald eagle. The rabbit eats the mouse. If something eats the bald eagle then the bald eagle is cold. If something is cold and not young then it does not need the bald eagle.
The rabbit eats the bald eagle.
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle is not young.[(triple2)] The bald eagle needs the rabbit.[(triple3)] The mouse does not eat the rabbit.[(triple4)] The mouse sees the rabbit.[(triple5)] The rabbit eats the bald eagle.[(triple6)] The rabbit eats the mouse.[(triple7)] @1: The bald eagle is cold.[(((triple6) -> rule1))] @2: The bald eagle does not need the bald eagle.[(((((triple6) -> rule1) triple2) -> rule2))]