Theoretical Rule-based Knowledge Graph Reasoning by Connectivity Dependency Discovery