The lion needs the squirrel. The squirrel sees the lion. If the squirrel does not chase the lion and the squirrel is not nice then the squirrel does not see the lion. If the squirrel is cold then the squirrel does not see the lion. If someone needs the squirrel then the squirrel does not need the lion.
The squirrel sees the lion.
@0: The lion needs the squirrel.[(triple1)] The squirrel sees the lion.[(triple2)] @1: The squirrel does not need the lion.[(((triple1) -> rule3))]