Anne is cold. Erin is big. Harry is red. Cold people are nice. All cold, big people are not nice. If Harry is kind and Harry is nice then Harry is red. If Anne is not green then Anne is cold. All cold people are not kind. Big people are kind. If Erin is red and Erin is not blue then Erin is nice. If Harry is kind and Harry is not big then Harry is cold.
Harry is not red.
@0: Anne is cold.[(triple1)] Erin is big.[(triple2)] Harry is red.[(triple3)] @1: Anne is nice.[(((triple1) -> rule1))] Anne is not kind.[(((triple1) -> rule5))] Erin is kind.[(((triple2) -> rule6))]