een inferentiemechanisme, dat met bekende feiten en bekende regels nieuwe feiten probeert af te leiden; de nieuw afgeleide feiten zijn dan bekende feiten geworden en het proces herhaalt zich totdat een conclusie is afgeleid of er geen nieuwe feiten meer af te leiden zijn