Einfach die Gleichung
|A ∪ B ∪ C| = |A| + |B| + |C| − |A ∩ B| − |A ∩ C| − |B ∩ C| + |A ∩ B ∩ C|
hinzuschreiben ist keine Herleitung. Ersetze stattdessen in der Gleichung
|X ∪ Y| = |X| + |Y| − |X ∩ Y|
die X durch A ∪ B und die Y durch C und forme weiter um bis du den Term bekommst, der auf der rechten Seite der Gleichung bekommst, die du herleiten sollst.