The lion likes the rabbit. The lion sees the rabbit. The rabbit sees the lion. If the lion eats the rabbit and the lion likes the rabbit then the rabbit is red. If something likes the rabbit then the rabbit is green. If something sees the lion and it is green then the lion is young.
The lion does not see the rabbit.
@0: The lion likes the rabbit.[(triple1)] The lion sees the rabbit.[(triple2)] The rabbit sees the lion.[(triple3)] @1: The rabbit is green.[(((triple1) -> rule2))] @2: The lion is young.[(((triple3 ((triple1) -> rule2)) -> rule3))]