01 05 08 3 v 1 1 7 M ay 2 00 1 Boole-Bell-type inequalities in Mathematica