A negação da sentença

"Se chove então o trânsito fica congestionado"

é: