A linear-algebraic tool for conditional independence inference