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