Anne is cold. Anne is quiet. Anne is young. Quiet, cold things are blue. Cold, quiet things are young.
Anne is quiet.
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2)] Anne is young.[(triple3 OR ((triple1 triple2) -> rule2))] @1: Anne is blue.[(((triple2 triple1) -> rule1))]