While trying to prove this goal, the first clause is applicable, but its evaluation adds X<0 to the constraint store.
Док покушава да докаже тај циљ, прва клаузула је примењива, али његова вредност додаје X<0 за ограничење продавнице.