The lion eats the squirrel. The squirrel eats the lion. The squirrel needs the lion. If something needs the squirrel then it is not green.
The lion does not need the lion.
@0: The lion eats the squirrel.[(triple1)] The squirrel eats the lion.[(triple2)] The squirrel needs the lion.[(triple3)]