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 cold.
@0: Anne is cold.[(triple1)] @1: Anne is green.[(((triple1) -> rule1))]