The lion is young. The rabbit is green. If something is kind and it chases the rabbit then it is young. If the lion is young then the lion needs the rabbit.
The rabbit is not young.
@0: The lion is young.[(triple1)] The rabbit is green.[(triple2)] @1: The lion needs the rabbit.[(((triple1) -> rule2))]