Das Schließen in schwierigeren Fällen geht tatsächlich so vor sich, indem || in (der Zeit vor sich, daß) ich die Regeln anschauen die Prämissen nachschlagen muß & so den sprachlichen Apparat wie eine Maschine
gebrauche.