Anne is young. Dave is not white. Harry is red. Young things are not cold. If something is cold then it is young. If something is red and not young then it is not kind. Young, white things are kind. If something is white then it is not red. All white, kind things are red.
Anne is not young.
@0: Anne is young.[(triple1)] Dave is not white.[(triple2)] Harry is red.[(triple3)] @1: Anne is not cold.[(((triple1) -> rule1))]