The bear likes the rabbit. The cat eats the rabbit. The rabbit needs the cat. If the rabbit needs the bear then the rabbit likes the cat. If something likes the rabbit then the rabbit needs the bear.
The rabbit needs the bear.
@0: The bear likes the rabbit.[(triple1)] The cat eats the rabbit.[(triple2)] The rabbit needs the cat.[(triple3)] @1: The rabbit needs the bear.[(((triple1) -> rule2))] @2: The rabbit likes the cat.[(((((triple1) -> rule2)) -> rule1))]