The bear is blue. The cat likes the rabbit. The rabbit likes the bear. The tiger needs the bear. If something likes the bear then it needs the rabbit.
The rabbit does not need the rabbit.
@0: The bear is blue.[(triple1)] The cat likes the rabbit.[(triple2)] The rabbit likes the bear.[(triple3)] The tiger needs the bear.[(triple4)] @1: The rabbit needs the rabbit.[(((triple3) -> rule1))]