R Reordering Columns To First Order Logic Vs Propositional Logic