Existe um encadeamento lógico dedutivo no sentido de que a privação do uso da habitação por parte do réu/reconvinte deriva dos defeitos, tanto dos defeitos alegados na contestação/reconvenção, como dos defeitos supervenientes, alegados no mesmo articulado superveniente.