Dona Maria tem quatro filhos: Francisco, Paulo, Raimundo e Sebastião. A esse respeito, sabe-se que:
i. Sebastião é mais velho que Raimundo.
ii. Francisco é mais novo que Paulo.
iii. Paulo é mais velho que Raimundo.
Assim, é obrigatoriamente verdadeiro que:
Francisco é o mais novo
Paulo é o mais velho
Raimundo não é o mais novo
Sebastião não é o mais novo