The lion eats the rabbit. The lion eats the squirrel. The lion is not young. The lion sees the rabbit. The lion sees the squirrel. The mouse does not eat the squirrel. The mouse is nice. The mouse does not visit the rabbit. The rabbit is not kind. The rabbit sees the mouse. The rabbit sees the squirrel. The squirrel eats the lion. The squirrel does not eat the mouse. The squirrel is not kind. The squirrel visits the rabbit. If the lion is kind and the rabbit does not eat the lion then the rabbit is not green.
The squirrel does not see the rabbit.
@0: The lion eats the rabbit.[(triple1)] The lion eats the squirrel.[(triple2)] The lion is not young.[(triple3)] The lion sees the rabbit.[(triple4)] The lion sees the squirrel.[(triple5)] The mouse does not eat the squirrel.[(triple6)] The mouse does not visit the rabbit.[(triple8)] The mouse is nice.[(triple7)] The rabbit is not kind.[(triple9)] The rabbit sees the mouse.[(triple10)] The rabbit sees the squirrel.[(triple11)] The squirrel does not eat the mouse.[(triple13)] The squirrel eats the lion.[(triple12)] The squirrel is not kind.[(triple14)] The squirrel visits the rabbit.[(triple15)]