The lion eats the mouse. The lion does not eat the squirrel. The lion is young. The lion needs the mouse. The mouse is round. The mouse visits the squirrel. The squirrel visits the lion. If something needs the lion then it is not rough. If something visits the lion and it is not young then it eats the squirrel. If something visits the lion and the lion is nice then the lion visits the mouse.
The mouse is nice.
@0: The lion does not eat the squirrel.[(triple2)] The lion eats the mouse.[(triple1)] The lion is young.[(triple3)] The lion needs the mouse.[(triple4)] The mouse is round.[(triple5)] The mouse visits the squirrel.[(triple6)] The squirrel visits the lion.[(triple7)]