The cow is blue. The cow is green. The cow is not nice. The cow is rough. The cow does not visit the lion. The lion is big. The lion is green. The lion is rough. The lion needs the tiger. The lion visits the cow. The lion visits the tiger. The tiger chases the cow. The tiger is not big. The tiger needs the cow. The tiger needs the lion. The tiger visits the cow. If something is green and it needs the lion then the lion is not blue. If something needs the lion then it visits the cow. If the tiger visits the lion then the lion chases the cow. If something chases the cow then it visits the tiger. If the cow chases the lion and the cow does not chase the tiger then the lion does not visit the tiger. If the cow is blue and the cow is big then the cow does not visit the lion.
The lion does not visit the tiger.