Sejam verdadeiras as seguintes afirmações:


• Lucas é filho de Mariana.


• Helena é irmã de Mariana, filha dos mesmos pais.


• Pedro é pai de Carla.


• Carla é filha de Helena e Pedro.


• João é pai da Helena.


A conclusão necessariamente verdadeira a partir dessas afirmações é: