Gardner distinguishes logical–mathematical, linguistic and spatial intelligences among his proposed domains, so A,B,C belong. Insight is a problem-solving phenomenon rather than a separately named intelligence in that taxonomy. The question concerns membership in the theory, not proof that its domains are statistically independent.
More Intelligence: Theories (Spearman, Thurstone, Jensen, Cattell, Gardner, Sternberg), emotional intelligence, measurement, individual differences, intelligence versus aptitude and creativity questions