Ondorioak auditoreen aurkikuntzetan oinarritutako inferentzia logikoak dira programari buruz, eta aurkikuntzetatik atera behar dute, haien laburpena adierazi beharrean.
Programaren inferentzia logikoek ez dituzte kontuan hartzen auditoreen aurkikuntzak.