Causal discovery and logic door