Anne is kind. Harry is nice. Kind things are not quiet. Kind things are not blue. All smart, white things are not nice. White things are nice. If Harry is blue then Harry is kind. If something is kind and not quiet then it is cold.
Anne is not kind.
@0: Anne is kind.[(triple1)] Harry is nice.[(triple2)] @1: Anne is not blue.[(((triple1) -> rule2))] Anne is not quiet.[(((triple1) -> rule1))] @2: Anne is cold.[(((triple1 ((triple1) -> rule1)) -> rule6))]