Se João amava Teresa, então Lili é vizinha de Teresa. Lili não é vizinha de Tere...

Questão de Raciocínio Lógico da banca FCC aplicada no concurso PGE BA (2013). Confira a resolução completa abaixo:

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: