Maria é magra ou Bernardo é barrigudo. Se Lúcia é linda, então César não é careca. Se Bernardo é barrigudo, então César é careca. Ora, Lúcia é linda. Logo: