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