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