The bear eats the rabbit. The cat eats the lion. The lion needs the cat. The rabbit chases the lion. If someone is green then they chase the cat. If someone eats the rabbit then they chase the lion.
The cat needs the rabbit.
@0: The bear eats the rabbit.[(triple1)] The cat eats the lion.[(triple2)] The lion needs the cat.[(triple3)] The rabbit chases the lion.[(triple4)] @1: The bear chases the lion.[(((triple1) -> rule2))]