Text this: Simplifying Implications with Positive and Negative Attributes: A Logic-Based Approach