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