O uso de verbos modais (modal verbs) envolve distinções sutis entre modalidade deôntica (obrigação, permissão) e epistêmica (possibilidade, dedução). Analise o contexto: 'The lights are off and the car is not in the driveway. They _____ be at home.' Assinale a alternativa que preenche a lacuna corretamente, expressando uma dedução lógica negativa forte (strong negative deduction).