Anne is blue. Blue people are green. Cold, blue people are kind. If someone is rough and cold then they are blue. All green people are white. If Anne is white then Anne is round. Green, rough people are kind.
Anne is not green.
@0: Anne is blue.[(triple1)] @1: Anne is green.[(((triple1) -> rule1))] @2: Anne is white.[(((((triple1) -> rule1)) -> rule4))] @3: Anne is round.[(((((((triple1) -> rule1)) -> rule4)) -> rule5))]