Are there efficient general Bonferroni-style bounds known?
I think you'll find the answer in the paper "Approximate Inclusion-Exclusion" by Linial and Nisan:
http://www.cs.huji.ac.il/~nati/PAPERS/approx_incl_excl.pdf