Text this: A Deletion Algorithm for the Marginal Problem in Propositional Logic Based on Boolean Arrays