The lion sees the rabbit. The rabbit chases the lion. If someone sees the lion and the lion needs the rabbit then the lion is green. If someone is red then they need the lion. If someone chases the lion then the lion needs the rabbit.
The rabbit does not chase the lion.
@0: The lion sees the rabbit.[(triple1)] The rabbit chases the lion.[(triple2)] @1: The lion needs the rabbit.[(((triple2) -> rule3))]