Anne is white. If something is quiet and big then it is not young. Quiet things are big. All white things are cold. If Anne is quiet and Anne is furry then Anne is big. Cold things are quiet. If Anne is not big then Anne is young.
Anne is white.
@0: Anne is white.[(triple1)] @1: Anne is cold.[(((triple1) -> rule3))] @2: Anne is quiet.[(((((triple1) -> rule3)) -> rule5))] @3: Anne is big.[(((((((triple1) -> rule3)) -> rule5)) -> rule2))] @4: Anne is not young.[(((((((triple1) -> rule3)) -> rule5) ((((((triple1) -> rule3)) -> rule5)) -> rule2)) -> rule1))]