At the first step, A(q) is the only clause whose body can be proved (because it is empty), and A(q) is therefore added to the current set of consequences.
На првом кораку A(q) је једина клаузула чије се тело може доказати (јер је празна), и A(q) се стога додаје у тренутни скуп последица.