Anne is white. If Anne is white and Anne is not young then Anne is big. White people are big. Big people are not quiet.
Anne is rough.
@0: Anne is white.[(triple1)] @1: Anne is big.[(((triple1) -> rule2))] @2: Anne is not quiet.[(((((triple1) -> rule2)) -> rule3))]