Sabe-se que todo HEL é NAT. Alguns NAT são FAN. Todos os que não são NAT são TOC.

Não existe FAN que seja TOC.

Dessa forma, é CORRETO afirmar que