The cow sees the lion. The lion needs the cow. The lion sees the mouse. The lion visits the cow. The mouse needs the cow. The mouse does not see the cow. The mouse visits the lion. If something is big then it visits the lion. If something visits the mouse then it visits the lion.
The lion needs the lion.
@0: The cow sees the lion.[(triple1)] The lion needs the cow.[(triple2)] The lion sees the mouse.[(triple3)] The lion visits the cow.[(triple4)] The mouse does not see the cow.[(triple6)] The mouse needs the cow.[(triple5)] The mouse visits the lion.[(triple7)]