Anne is white. All kind, quiet things are smart. If Anne is smart and Anne is quiet then Anne is rough. If something is rough and smart then it is quiet. If something is white then it is quiet. All white things are cold. White, cold things are big.
Anne is kind.
@0: Anne is white.[(triple1)] @1: Anne is cold.[(((triple1) -> rule5))] Anne is quiet.[(((triple1) -> rule4))] @2: Anne is big.[(((triple1 ((triple1) -> rule5)) -> rule6))]