Se Vilma não mora em Vitória, então, Álvaro mora em Linhares. Se Luana mora em Vitória, então Carla mora em Colatina ou Nazira mora em Marataízes. Se Nazira mora em Marataízes, Emerson mora em Mimoso do Sul. Mas Emerson mora em Mimoso do Sul se e somente se não for verdade que Frederico não mora em Serra. Ora, Frederico não mora em Serra e Carla não mora em Colatina. Logo: