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 lion is green.
@0: The lion needs the mouse.[(triple1)] The lion visits the mouse.[(triple2)] The mouse needs the lion.[(triple3)]