negative(permitted((drink,drive))).
obligatory(pay_taxes).
obligatory(stop_at_red_light).
permitted((drink,negative(drive))).
permitted((negative(drink),drive)).
forbidden(steal).
negative(obligatory(negative(pay_taxes))).
negative(obligatory(negative(stop_at_red_light))).
negative(obligatory((drink,drive))).
negative(permitted(steal)).
negative(permitted(negative(pay_taxes))).
negative(permitted(negative(stop_at_red_light))).
negative(forbidden((drink,negative(drive)))).
negative(forbidden((negative(drink),drive))).
obligatory(negative((drink,drive))).
forbidden(negative(pay_taxes)).
forbidden(negative(stop_at_red_light)).
forbidden((drink,drive)).
negative(obligatory(steal)).
negative(forbidden(pay_taxes)).
negative(forbidden(stop_at_red_light)).
negative(forbidden(negative((drink,drive)))).
obligatory(negative(steal)).
permitted(pay_taxes).
permitted(stop_at_red_light).
permitted(negative((drink,drive))).
negative(forbidden(negative(steal))).
permitted(negative(steal)).
