The cow chases the mouse. The cow is not rough. The dog eats the mouse. The lion is green. The lion does not visit the mouse. The mouse does not chase the cow. The mouse is blue. If something eats the lion then the lion eats the mouse. If something does not eat the dog then the dog is rough. If something is big and it visits the dog then it visits the lion.
The dog does not visit the lion.