The cat eats the dog. The cat is green. The cat needs the squirrel. The cat sees the lion. The cat does not see the squirrel. The dog eats the squirrel. The dog needs the squirrel. The lion sees the cat. The squirrel needs the cat. The squirrel sees the cat. If the cat eats the lion then the lion does not see the squirrel. If the lion does not see the cat then the cat does not need the dog. If something needs the dog then it eats the cat. If something is young and it does not eat the dog then it eats the cat. If something sees the squirrel and the squirrel does not need the lion then it eats the cat. All big things are young. If the lion is big and the lion is cold then the lion needs the dog. If something needs the lion and it sees the lion then it sees the squirrel.
The lion is not young.
@0: The cat does not see the squirrel.[(triple5)] The cat eats the dog.[(triple1)] The cat is green.[(triple2)] The cat needs the squirrel.[(triple3)] The cat sees the lion.[(triple4)] The dog eats the squirrel.[(triple6)] The dog needs the squirrel.[(triple7)] The lion sees the cat.[(triple8)] The squirrel needs the cat.[(triple9)] The squirrel sees the cat.[(triple10)]