Se Débora é mãe de Hugo, então Marcelo é baixo. Se Carlos não é filho de Débora, então Neusa não é avó dele. Sabendo-se que Marcelo é alto ou que Neusa é avó de Carlos, conclui-se corretamente que