Sabendo que é verdadeira a afirmação “Todos os filhos de Belarmino nasceram em Porto Alegre”, então é necessariamente verdade que

Belarmino não nasceu em Porto Alegre.

se Bernardo não é filho de Belarmino, então ele não nasceu em Porto Alegre.

Belarmino nasceu em Porto Alegre.

se Basílio não nasceu em Porto Alegre, então ele não é filho de Belarmino.

se Bento nasceu em Porto Alegre, então ele é filho de Belarmino.