Charlie is not nice. Charlie is quiet. Erin is cold. Erin is furry. Erin is nice. Erin is not quiet. Erin is red. All rough things are not quiet. If something is kind and quiet then it is nice. All red things are nice. If something is red and not kind then it is not nice. Red things are furry. If something is quiet and nice then it is cold.
Charlie is not cold.
@0: Charlie is not nice.[(triple1)] Charlie is quiet.[(triple2)] Erin is cold.[(triple3)] Erin is furry.[(triple4 OR ((triple7) -> rule5))] Erin is nice.[(triple5 OR ((triple7) -> rule3))] Erin is not quiet.[(triple6)] Erin is red.[(triple7)]