Anne is young. If something is young then it is kind. If something is big and rough then it is blue. If something is young and kind then it is cold. If something is young then it is rough. Cold, blue things are quiet. Young things are big.
Anne is young.
@0: Anne is young.[(triple1)] @1: Anne is big.[(((triple1) -> rule6))] Anne is kind.[(((triple1) -> rule1))] Anne is rough.[(((triple1) -> rule4))] @2: Anne is blue.[(((((triple1) -> rule6) ((triple1) -> rule4)) -> rule2))] Anne is cold.[(((triple1 ((triple1) -> rule1)) -> rule3))] @3: Anne is quiet.[(((((triple1 ((triple1) -> rule1)) -> rule3) ((((triple1) -> rule6) ((triple1) -> rule4)) -> rule2)) -> rule5))]