The rabbit sees the squirrel. The squirrel sees the rabbit. If the rabbit eats the squirrel and the rabbit is young then the rabbit sees the squirrel. If something sees the squirrel then the squirrel visits the rabbit.
The squirrel is not young.
@0: The rabbit sees the squirrel.[(triple1)] The squirrel sees the rabbit.[(triple2)] @1: The squirrel visits the rabbit.[(((triple1) -> rule2))]