Se Elias é vizinho de Lucas, então Marcelo é primo de Lucas. Marcelo não é primo de Lucas. Se Elias não é primo de Lucas, então Elias é vizinho de Lucas. Logo:
Se Elias é vizinho de Lucas, então Marcelo é primo de Lucas. Marcelo não é primo de Lucas. Se Elias não é primo de Lucas, então Elias é vizinho de Lucas. Logo:
