когато доказателствата са по-последователни от не , анализаторът потвърждава модела и търси други свързани с него .
когато доказателствата са последователни , анализаторът все още не може да потвърди модела .