The cow is green. The cow is not nice. The cow needs the lion. The lion does not eat the cow. The lion is green. The lion is not nice. The lion needs the cow. If something visits the lion and the lion visits the cow then it needs the cow. If something is green then it visits the lion. If something is kind then it eats the cow. If something needs the lion and the lion eats the cow then the lion does not visit the cow. If something is green and not nice then it is not round. If the cow eats the lion and the lion is not round then the lion is cold. If something needs the cow and it visits the lion then the cow eats the lion. If something is nice then it does not eat the cow.
The lion is cold.