The dog needs the lion. The lion is red. The lion needs the dog. The lion sees the dog. The lion visits the mouse. The mouse is young. The mouse needs the dog. The mouse needs the lion. The mouse sees the lion. The mouse does not visit the dog. If something needs the mouse and it is not young then the mouse needs the lion.
The lion needs the lion.
@0: The dog needs the lion.[(triple1)] The lion is red.[(triple2)] The lion needs the dog.[(triple3)] The lion sees the dog.[(triple4)] The lion visits the mouse.[(triple5)] The mouse does not visit the dog.[(triple10)] The mouse is young.[(triple6)] The mouse needs the dog.[(triple7)] The mouse needs the lion.[(triple8)] The mouse sees the lion.[(triple9)]