The dog needs the lion. The dog visits the lion. The lion is kind. The lion is rough. The lion visits the dog. The mouse is not big. The mouse is rough. The mouse needs the dog. The mouse needs the lion. The mouse does not see the lion. The mouse visits the dog. The mouse visits the lion. If something visits the lion and the lion is big then it is rough. If something is blue then it visits the dog. If the lion needs the mouse then the mouse is kind. If something visits the dog and the dog is blue then it is kind. If something is blue then it does not visit the lion. If the dog sees the lion and the lion is not kind then the lion is round. If something sees the lion then the lion is round. If the dog is not rough then the dog sees the lion.
The dog needs the lion.
@0: The dog needs the lion.[(triple1)] The dog visits the lion.[(triple2)] The lion is kind.[(triple3)] The lion is rough.[(triple4)] The lion visits the dog.[(triple5)] The mouse does not see the lion.[(triple10)] The mouse is not big.[(triple6)] The mouse is rough.[(triple7)] The mouse needs the dog.[(triple8)] The mouse needs the lion.[(triple9)] The mouse visits the dog.[(triple11)] The mouse visits the lion.[(triple12)]