This is interesting question, but I think you have a problem.
you know a bunch of probs like
P( step i fails ), for i = 1,2,...
you want to know
prob(no mailr for you) = p( union( step i fails ) ).
but to calc this need to know the intersections too.
Problem = no experimental evidence on intersections.
or is there?