Sejam verdadeiras as seguintes afirmações:
•? J é filho de T.
•? S é irmã de T.
•? V é pai de U.
•? H é filho de S e V.
A conclusão necessariamente verdadeira obtida a partir dessas afirmações é a de que