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