Inferenz oder Schlussfolgerung, die von den verfügbaren Daten ausgeht und daraus Schlussfolgerungen zieht, um noch mehr Daten abzuleiten. Die Schlussfolgerungen werden durch wiederholte Anwendung des modus ponens in Richtung eines Ziels durchgeführt.