En caso contrario, si todo es comprobado, se repite el proceso considerando otras consecuencias deducibles.