The cat eats the dog. The cat eats the mouse. The cat is nice. The dog eats the cat. The dog is blue. The dog visits the cat. The lion eats the mouse. The mouse eats the lion. The mouse is kind. The mouse is nice. If something eats the mouse then it is not kind. If something does not like the lion then the lion is red. If something eats the dog then it visits the lion. If something likes the mouse and it likes the lion then it is not nice. If the lion visits the mouse then the mouse does not visit the dog. If something likes the mouse then it is round. If something visits the lion then it likes the mouse. If something likes the mouse and the mouse eats the lion then the mouse eats the dog.
The mouse does not visit the lion.