Helena é estudiosa.

Se Rafael é estudioso, então ele é filho da Helena.

Se Vitor não é filho da Helena, então ele não é estudioso.

Helena não é estudiosa.

Se Bernardo não é estudioso, então ele não é filho da Helena.