The bear chases the lion. The lion is cold. The mouse is green. The tiger is big. If the bear does not chase the mouse then the bear is green. If something eats the lion then the lion does not visit the mouse. If something does not visit the tiger then the tiger visits the lion. If something does not eat the bear and it does not visit the tiger then it chases the lion. If the lion is green and the lion does not chase the bear then the lion is round. Cold things are green. If something visits the bear then the bear is cold. If something visits the tiger and it is round then it visits the mouse.
The bear does not visit the mouse.