Inclusion and exclusion is used in many papers to count certain objects exactly or asymptotically. Also it is used to derive the Bonferroni inequalities in probabilistic area [6]. Inclusion and exclusion on finitely many types of properties is first used in R. Meyer [7] in probability form and first used in the paper of McKay, Palmer, Read and Robinson [8] as a form of counting version of inclusion and exclusion on two types of properties. In this paper, we provide a proof for inclusion and exclusion on finitely many types of properties in counting version. As an example, the asymptotic number of general cubic graphs via inclusion and exclusion formula is given for this generalization.