The dog is red. The dog needs the lion. The lion does not eat the dog. The lion eats the mouse. The lion is nice. The lion is young. The lion does not need the dog. The lion needs the mouse. The lion does not visit the dog. The mouse eats the lion. The mouse is nice. The mouse is red. The mouse is young. The mouse needs the lion. The mouse visits the lion. If the dog does not need the lion then the dog does not visit the lion. If the dog needs the lion and the dog is rough then the dog is young. If the lion visits the dog and the lion is not red then the dog visits the mouse.
The mouse needs the lion.
@0: The dog is red.[(triple1)] The dog needs the lion.[(triple2)] The lion does not eat the dog.[(triple3)] The lion does not need the dog.[(triple7)] The lion does not visit the dog.[(triple9)] The lion eats the mouse.[(triple4)] The lion is nice.[(triple5)] The lion is young.[(triple6)] The lion needs the mouse.[(triple8)] The mouse eats the lion.[(triple10)] The mouse is nice.[(triple11)] The mouse is red.[(triple12)] The mouse is young.[(triple13)] The mouse needs the lion.[(triple14)] The mouse visits the lion.[(triple15)]