R Reordering Columns To First Order Logic In Artificial Intelligence