Anne is cold. Dave is kind. Gary is young. Harry is white. All cold things are nice. If something is nice then it is white.
Anne is white.
@0: Anne is cold.[(triple1)] Dave is kind.[(triple2)] Gary is young.[(triple3)] Harry is white.[(triple4)] @1: Anne is nice.[(((triple1) -> rule1))] @2: Anne is white.[(((((triple1) -> rule1)) -> rule2))]