The bald eagle eats the lion. The cow needs the bald eagle. The cow needs the lion. The cow needs the mouse. The lion is cold. The mouse likes the bald eagle. The mouse likes the cow. If someone eats the lion then the lion needs the mouse.
The lion is not cold.
@0: The bald eagle eats the lion.[(triple1)] The cow needs the bald eagle.[(triple2)] The cow needs the lion.[(triple3)] The cow needs the mouse.[(triple4)] The lion is cold.[(triple5)] The mouse likes the bald eagle.[(triple6)] The mouse likes the cow.[(triple7)] @1: The lion needs the mouse.[(((triple1) -> rule1))]