Anne is green. Fiona is green. All quiet things are smart. Green things are quiet. If something is quiet and rough then it is white.
Anne is not green.
@0: Anne is green.[(triple1)] Fiona is green.[(triple2)] @1: Anne is quiet.[(((triple1) -> rule2))] Fiona is quiet.[(((triple2) -> rule2))] @2: Anne is smart.[(((((triple1) -> rule2)) -> rule1))] Fiona is smart.[(((((triple2) -> rule2)) -> rule1))]