Se João amava Teresa, então Lili é vizinha de Teresa. Lili não é vizinha de Teresa.Se João não é vizinho de Teresa, então João amava Teresa. Logo: