The bald eagle is blue. The bear needs the mouse. The cat needs the bear. The mouse likes the cat. If something visits the bald eagle and the bald eagle visits the cat then the bald eagle needs the mouse. If something is blue then it likes the bear.
The cat does not need the bear.
@0: The bald eagle is blue.[(triple1)] The bear needs the mouse.[(triple2)] The cat needs the bear.[(triple3)] The mouse likes the cat.[(triple4)] @1: The bald eagle likes the bear.[(((triple1) -> rule2))]