Anne is cold. If someone is cold then they are white. All nice, young people are green. Smart, young people are white.
Anne is not green.
@0: Anne is cold.[(triple1)] @1: Anne is white.[(((triple1) -> rule1))]