A Começar pela hipótese menos restritiva, pois ela tende a gerar menos contradições e economiza tempo.
B Testar uma hipótese, transformar as falas em consequências objetivas, checar regras numéricas e descartar a hipótese ao encontrar a primeira contradição inevitável.
C Evitar checagem global (regras numéricas), pois ela pode ser inferida automaticamente a partir das falas individuais.
D Ao lidar com frase composta do tipo “X e Y”, se ela for falsa, conclui-se que X e Y são ambos falsos.
E Se uma hipótese não gerar contradição imediata, ela deve ser aceita como solução final, sem necessidade de verificar se a solução é única.