The dog sees the lion. The dog sees the squirrel. The dog visits the squirrel. The lion chases the dog. The lion is big. The lion is rough. The lion sees the dog. The lion sees the squirrel. The lion visits the squirrel. The squirrel visits the lion. All rough things are big. If the lion visits the squirrel then the lion visits the dog. If something visits the lion then the lion visits the dog. If something chases the squirrel and it visits the dog then it is cold. If something visits the dog and it sees the squirrel then it is red. If something is big then it visits the squirrel.
The lion does not visit the dog.