The lion is nice. The rabbit visits the lion. If the lion is green and the lion sees the rabbit then the lion needs the rabbit. If someone sees the rabbit then the rabbit needs the lion. If someone visits the lion then the lion sees the rabbit.
The rabbit is not blue.
@0: The lion is nice.[(triple1)] The rabbit visits the lion.[(triple2)] @1: The lion sees the rabbit.[(((triple2) -> rule3))] @2: The rabbit needs the lion.[(((((triple2) -> rule3)) -> rule2))]