\displaystyle |\bigcap_{i=1}^4A_i|=|\Omega|-|A_1^C|-|A_2^C|-\ldots+|\bigcap_{i=1}^4A_i^C|