Anne is big. If something is quiet and smart then it is rough. All quiet things are blue. If something is big then it is quiet.
Anne is not rough.
@0: Anne is big.[(triple1)] @1: Anne is quiet.[(((triple1) -> rule3))] @2: Anne is blue.[(((((triple1) -> rule3)) -> rule2))]