Das System sucht nach einem wahren Ergebnis. Wenn Bedingungen wahr sind, wird das System den Ja-Pfad einschlagen. Es wird nur den Nein-Pfad nehmen, wenn alle Ergebnisse falsch sind.