The bald eagle likes the mouse. The bald eagle visits the cow. The cow likes the mouse. The mouse is cold. The mouse likes the bald eagle. The rabbit is blue. The rabbit needs the cow. If something visits the bald eagle and the bald eagle needs the rabbit then it likes the rabbit. If something needs the cow then it needs the mouse.
The mouse likes the cow.
@0: The bald eagle likes the mouse.[(triple1)] The bald eagle visits the cow.[(triple2)] The cow likes the mouse.[(triple3)] The mouse is cold.[(triple4)] The mouse likes the bald eagle.[(triple5)] The rabbit is blue.[(triple6)] The rabbit needs the cow.[(triple7)] @1: The rabbit needs the mouse.[(((triple7) -> rule2))]