The bear chases the lion. The bear eats the lion. The bear eats the mouse. The bear is not rough. The lion eats the bear. The lion is cold. The lion is green. The lion does not need the bear. The mouse does not chase the lion. The mouse eats the bear. The mouse eats the lion. The mouse is green. The mouse is red. The mouse is rough. The mouse needs the lion. If something is rough and not red then it needs the mouse. If something is green and blue then it eats the bear. If the mouse is not blue then the mouse does not chase the lion.
The lion is not green.
@0: The bear chases the lion.[(triple1)] The bear eats the lion.[(triple2)] The bear eats the mouse.[(triple3)] The bear is not rough.[(triple4)] The lion does not need the bear.[(triple8)] The lion eats the bear.[(triple5)] The lion is cold.[(triple6)] The lion is green.[(triple7)] The mouse does not chase the lion.[(triple9)] The mouse eats the bear.[(triple10)] The mouse eats the lion.[(triple11)] The mouse is green.[(triple12)] The mouse is red.[(triple13)] The mouse is rough.[(triple14)] The mouse needs the lion.[(triple15)]