Considere o trecho de um algoritmo em pseudocódigo que mostra comandos condicionais (se) aninhados com início e fim delimitados por { }.

if ( T1 )

{ Comando1;

if ( T2 e T3) { Comando2;

Comando3;

} else Comando4;

if ( T4 ou T5 ) Comando5; else { Comando6;

} }

Comando7;

Analisando esse trecho, é correto afirmar que