Anne is white. If Anne is red then Anne is rough. All blue, white things are cold. If Anne is white then Anne is red.
Anne is furry.
@0: Anne is white.[(triple1)] @1: Anne is red.[(((triple1) -> rule3))] @2: Anne is rough.[(((((triple1) -> rule3)) -> rule1))]