The cat eats the rabbit. The cat eats the tiger. The cat needs the tiger. The lion is round. The lion does not need the tiger. The rabbit needs the cat. The tiger eats the cat. The tiger is cold. The tiger needs the lion. The tiger visits the rabbit. If something visits the cat then it needs the cat. If something visits the lion then it is nice. All nice things are round. If something eats the lion then it visits the lion. If something visits the rabbit then the rabbit visits the lion. If something visits the lion and it does not visit the cat then the cat visits the lion. If the lion is round and the lion is cold then the lion eats the cat. If something is nice and round then it needs the rabbit. If something needs the lion then it needs the cat.
The rabbit does not visit the lion.