The bald eagle likes the lion. The cat is rough. The lion is round. The mouse likes the cat. If something is rough then it needs the bald eagle. If something needs the bald eagle then it needs the mouse.
The cat does not need the lion.
@0: The bald eagle likes the lion.[(triple1)] The cat is rough.[(triple2)] The lion is round.[(triple3)] The mouse likes the cat.[(triple4)] @1: The cat needs the bald eagle.[(((triple2) -> rule1))] @2: The cat needs the mouse.[(((((triple2) -> rule1)) -> rule2))]