Anne is blue. Anne is smart. Fiona is white. Harry is blue. Harry is red. Harry is smart. Harry is white. If Harry is not cold then Harry is kind. Red things are not kind. If Anne is cold and Anne is not white then Anne is kind.
Anne is not kind.
@0: Anne is blue.[(triple1)] Anne is smart.[(triple2)] Fiona is white.[(triple3)] Harry is blue.[(triple4)] Harry is red.[(triple5)] Harry is smart.[(triple6)] Harry is white.[(triple7)] @1: Harry is not kind.[(((triple5) -> rule2))]