Seol mar théacs é seo: Approximately counting answers to conjunctive queries with disequalities and negations