Anne is cold. Cold people are green. If someone is green and big then they are not cold. If Anne is blue then Anne is not smart.
Anne is not cold.
@0: Anne is cold.[(triple1)] @1: Anne is green.[(((triple1) -> rule1))]