The lion likes the tiger. The mouse chases the rabbit. The rabbit does not like the mouse. The tiger likes the mouse. If someone visits the lion then they like the tiger. If someone likes the tiger then the tiger is not red. If someone does not visit the mouse then they chase the mouse. If the tiger chases the lion and the tiger is not green then the tiger chases the mouse. If someone likes the mouse then they like the tiger. If someone does not like the rabbit then the rabbit is blue. If someone chases the mouse and the mouse likes the lion then they like the tiger. If someone is blue and they do not like the rabbit then the rabbit visits the lion.
The rabbit does not visit the lion.