The lion is blue. The lion is not green. The lion does not like the rabbit. The lion likes the squirrel. The lion does not see the rabbit. The lion sees the squirrel. The lion visits the mouse. The lion visits the rabbit. The mouse is big. The mouse does not visit the squirrel. The rabbit is not red. The rabbit does not see the lion. The rabbit visits the mouse. The squirrel is blue. The squirrel is nice. The squirrel sees the mouse. If something visits the mouse and the mouse visits the lion then it does not see the squirrel. If something visits the lion and it sees the rabbit then the rabbit visits the squirrel. If something is red then it sees the mouse. If the squirrel likes the lion then the lion likes the rabbit. If something sees the lion then the lion likes the rabbit. If the squirrel is green and the squirrel does not see the mouse then the mouse visits the squirrel.
The lion does not see the mouse.
@0: The lion does not like the rabbit.[(triple3)] The lion does not see the rabbit.[(triple5)] The lion is blue.[(triple1)] The lion is not green.[(triple2)] The lion likes the squirrel.[(triple4)] The lion sees the squirrel.[(triple6)] The lion visits the mouse.[(triple7)] The lion visits the rabbit.[(triple8)] The mouse does not visit the squirrel.[(triple10)] The mouse is big.[(triple9)] The rabbit does not see the lion.[(triple12)] The rabbit is not red.[(triple11)] The rabbit visits the mouse.[(triple13)] The squirrel is blue.[(triple14)] The squirrel is nice.[(triple15)] The squirrel sees the mouse.[(triple16)]