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