Este artículo aborda el problema de verificar un modelo causal hipotético basado en datos observacionales. El modelo causal asume independencia condicional (IC), y verificar todos los IC anteriores resulta computacionalmente ineficiente. Por lo tanto, en este artículo, proponemos la propiedad local de Markov de c componentes (C-LMP) para grafos causales con variables ocultas y reducimos el número de IC necesarios para su verificación. Incluso con la C-LMP, es posible que aún sea necesario verificar muchos IC, por lo que en este artículo desarrollamos un algoritmo de retardo polinomial que lista estos IC a intervalos de tiempo polinomiales. Demostramos la viabilidad del algoritmo mediante experimentos con datos reales y sintéticos.