The cat is cold. The cat is kind. The cat sees the lion. The cat visits the dog. The dog is cold. The dog is round. The dog sees the tiger. The lion chases the tiger. The lion is rough. The tiger sees the dog. The tiger sees the lion. The tiger visits the cat. If something visits the lion then it sees the tiger. All nice things are round. If something chases the tiger then it visits the dog. If something chases the dog and it visits the lion then the dog is round. If the lion is nice then the lion visits the tiger. If something sees the cat then the cat is round. If the lion is round then the lion is rough. If something visits the lion then the lion is nice. If something is round then it visits the lion.
The lion does not see the tiger.