Text this: A Reducing Method for Set of Clauses using Matrices.