The bear needs the rabbit. The rabbit needs the bear. The tiger chases the rabbit. If someone needs the rabbit then they are nice. If someone is blue then they chase the tiger. If someone chases the tiger then they need the tiger.
The rabbit needs the tiger.
@0: The bear needs the rabbit.[(triple1)] The rabbit needs the bear.[(triple2)] The tiger chases the rabbit.[(triple3)] @1: The bear is nice.[(((triple1) -> rule1))]