The lion likes the squirrel. The rabbit is green. The squirrel likes the rabbit. If something sees the rabbit then the rabbit needs the squirrel. If the squirrel likes the rabbit then the squirrel sees the rabbit.
The lion does not like the rabbit.
@0: The lion likes the squirrel.[(triple1)] The rabbit is green.[(triple2)] The squirrel likes the rabbit.[(triple3)] @1: The squirrel sees the rabbit.[(((triple3) -> rule2))] @2: The rabbit needs the squirrel.[(((((triple3) -> rule2)) -> rule1))]