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 Procuradoria Geral do Estado 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