Withdrawing hypotheses using negation as failure