The bald eagle likes the cat. The cat likes the squirrel. The mouse likes the bald eagle. The squirrel chases the bald eagle. If the bald eagle chases the cat then the cat chases the mouse. If someone likes the cat and the cat likes the squirrel then they need the mouse.
The squirrel likes the mouse.
@0: The bald eagle likes the cat.[(triple1)] The cat likes the squirrel.[(triple2)] The mouse likes the bald eagle.[(triple3)] The squirrel chases the bald eagle.[(triple4)] @1: The bald eagle needs the mouse.[(((triple1 triple2) -> rule2))]